Розглядаються узагальнення традиційних понять алгебри, гомоморфізму та n-арної функції, що враховують такі особливості програм, як часткову визначеність та широке використання іменування компонент даних. Для опису властивостей алгебр введених класів функцій запропонована мова композиційної логіки.