Подалгебра — подмножество алгебры над кольцом (алгебраической системы), замкнутое относительно всех операций этой алгебры, и само являющееся алгеброй. Другими словами, если результат бинарной операции над множеством А, не выходит за пределы этого множества.