Система трех множеств Œ = <А, Ω, R> называется алгебраической системой, где А – множество однотипных элементов, называемое носителем алгебры или базовым множеством, Ω – множество операций с областью определения и областью значений в множестве А, R – множество отношений на элементах множества А.