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