Кожен елемент множини перебуває у відношенні хоча б з одним іншим елементом

Кожен елемент множини перебуває у заданому відношенні із самим собою

Якщо один елемент перебуває у відношенні з іншим, то другий обов’язково перебуває у відношенні з першим

Кожен елемент множини перебуває у відношенні з усіма іншими елементами

Жоден елемент множини не може перебувати у відношенні із самим собою