Формализм (1).
Придадим сказанному более точный смысл.
Пусть существует конечное множество D доменов {D1,D2...,Dn}, и множество Q определенных на D отношений

Пусть существует домен DS (DS


Замечание : мы не случайно назвали отношение Qi доменом si. Конечно это не соответствует классическому пониманию домена, которое подразумевает, что домен - это множество, а значение домена - это скаляр. В нашем случае значением так же является множество - т.е. значение отношения. Однако, речь все же идет о паре "тип" - "значение типа". Кроме того, такой подход позволяет рассматривать скалярное значение качества (типа) Q и значение отношения этого же типа Q, являющееся атрибутом объекта, как значения, определенные на одном и том же домене Q.
Схемой класса С называется конечное подмножество DS, C = {Si | Si




Поскольку DS можно рассматривать как объединение всех схем классов C (Ds = C1





