Якщо xRy і yRz, то xRz

Якщо xRy, то yRx

Для властивості визначено тип суб’єкта та об’єкта

«є підкласом» — «Кішка — Тварина»

«є частиною» — «Колесо — частина Автомобіля»

Один суб’єкт має рівно одне значення властивості