Дві властивості є взаємно оберненими.

Дві властивості мають відношення наслідування.

Кожен суб’єкт має не більш як одне значення цієї властивості.

Властивість, що «передається через ланцюжок» (aRb і bRc ⇒ aRc).

Два класи мають однаковий набір екземплярів.

Два класи не перетинаються.