Экземпляр класса
Раньше мы говорили, что индивид относится к категории, или использовали отношение «это». Но в русском языке есть множество вариантов описать отношения индивида и класса (типа):
- индивид *является экземпляром* класса;
- индивид *является элементом* класса;
- индивид *входит в* класс;
- индивид *является членом* класса;
- индивид *принадлежит* классу,
- индивид *представляет* класс;
- индивид *имеет* тип;
- индивид *относится к* типу;
Можно и поменять местами экземпляр и класс:
- класс *классифицирует* индивида;
- класс *представлен* индивидом.
Или сказать просто:
- индивид и класс *связаны отношением классификации*.
Есть ещё множество способов выразить ту же самую мысль на русском языке, на разных профессиональных жаргонах, или в формальных языках. Математики скажут «*элемент принадлежит множеству*» и напишут “*a∈A*”.
![][image5]
На картинке выше – один желудь является экземпляром класса «Желудь». В класс «Желудь» входят индивидуальные жёлуди.
Конкретный стол на вашей кухне — экземпляр класса «Стол» (и еще многих других классов, мы говорили уже, что один объект может быть экземпляром многих классов, применение таких моделей мы встретим неоднократно).
«шуруповерт инвентарный номер 1250564-678» - это индивидуальный физический объект, индивид
«шуруповерт инвентарный номер 1250564-678» принадлежит классу «Шуруповёрт Makita»
«шуруповерт инвентарный номер 1250564-678» принадлежит классу «Шуруповёрт»
*Принадлежность, классификация, типизация, членство, экземпляризация* – разные названия для одного логического отношения. (Помните, что в некоторых онтологических теориях или стандартных онтологиях значения этих терминов или область их применения могут быть определены более чётко, сужены, и они не будут там полными синонимами.)
В обычной речи просьба «приведите пример» - это чаще всего просьба «приведите экземпляр класса», то есть подразумевается именно эта операция мысленного моделирования. В русском языке иногда говорят «например»: «желуди, вот например я нашёл этот желудь», «программисты, например наш Вася».