Если «A» является подтипом «B», это означает, что «A» наследует все поля и методы «B» и в дополнение к этому «A» имеет свои собственные методы и поля. Итак, «А» следует рассматривать как надмножество «В»? Насколько действительна интерпретация подмножества подтипов? Разве не должно быть наоборот?
Но опять же, если есть два класса «Автомобили» и «Транспортные средства», имеет смысл, что множество «Автомобили» является подмножеством множества «Транспортные средства». Однако поля и методы «Автомобилей» являются надмножеством «Транспортных средств». Так что я немного смущен по этому поводу.