A<:B…AはBに完全に含まれる
A<<:B…Aの一部はBに含まれる
A<<<:B…Aの一部はBに含まれるが、AはBに完全に含まれない(あまり使わなさそう)
A!<:B…AはBに完全には含まれない(否定は演算子の前に!を付ける)
【例】
ロシア !<: アジア
全てロシアがアジアに含まれるわけではない
ロシア <<: アジア
ロシアの一部は、アジアに含まれる
ロシア <: (アジア|ヨーロッパ)
全てのロシアは、アジアとヨーロッパの和集合に含まれる
(逆向きもできます)
奈良 <: 関西
関西 :> 奈良
愛知 !<: 関西
関西 !:> 愛知
関西 !:> 三重
関西 :>> 三重