Без заголовка

Нужно учитывать ещё дискуссию про онтологию (которая у мире, как и архитектура -- у системы) и онтологическое описание (которое отдельный артефакт, как и архитектурное описание системы). Проверка идёт отдельно концептов, отдельно соответствующих им объектов в мире, отдельно выражающих эти концепты представлений. И отдельно рассматриваются знаки, которыми означаются концепты (то бишь термины). Отношения множества-подмножества и отношения части-целого -- это, кстати, совсем разные отношения. Почитайте какой-нибудь учебник онтологии, или презентации John Sowa посмотрите, там про всё это подробно рассказывается.