«Принаймні один зв’язок за властивістю до екземпляра певного класу»

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

«Кількість значень властивості дорівнює заданому числу»

«Кожен екземпляр належить обом класам — вони тотожні за змістом»

«Жоден екземпляр не може одночасно бути в обох класах»

«Усі значення властивості належать певному класу»