Множество бинарных отношений, замкнутое относительно некоторой совукупности операций над ними, образует алгебру, называемую алгеброй отношений. Класс всех алгебр (частично упорядоченных алгебр), изоморфных алгебрам (частично упорядоченным теоретико-множественным включением ⊆ алгебрам) отношений с операциями из Ω, обозначим R{Ω} (R{Ω, ⊆}).