2-Анықтама. және алгебраларының гомоморфизмі деп кезкелген үшін теңдігі орындалатындай сызықты бейнелеуін айтады.
Екі алгебраның биективті (өзара бір мәнді) гомоморфизмі изоморфизм деп аталады. Араларында изоморфизм бар және алгебралары изоморфты деп аталады және арқылы белгіленеді.
Енді бинарлық көбейту амалына қатысты 𝔏 алгебрасын қарастырайық.
3-Анықтама. 𝔏 алгебрасының ішкі алгебрасы деп көбейту амалына қатысты тұйық ішкі кеңістігін айтады.
Ішкі алгебраныі өзі сол көбейту амалына алгебра болып табылады. ішкі кеңістігінің көбейту амалына қатысты тұйықтығы, егер болса, онда болатынын білдіреді.
