Объявление подтипа в объекте устанавливает взаимосвязь между объектом подтипа и указанными объектами супертипов.
Для заданного объекта супертипа Р, имеющего подтип С, данная взаимосвязь может быть условно представлена следующим образом:
Р С,
где 0 п 1.
Это означает, что для каждого экземпляра Р не существует ни одного, либо существует один экземпляр С. Для каждого экземпляра С существует один экземпляр Р.
В случае, когда Р является абстрактным супертипом, данная взаимосвязь представляется следующим образом:
Р С.
Это означает, что для каждого экземпляра Р существует один экземпляр С, и для каждого экземпляра С существует один экземпляр Р.