Клас є підкласом самого себе

Клас не має підкласів

Екземпляр належить двом disjoint класам

Властивість оголошено симетричною і транзитивною одночасно

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