>>586

Aの境界を含む内側にBが位置していれば
A⊇B(AはBを所有している)
と定義する

以上です。ベン図で考えれば自明では?