包含関係
Inclusion relation
集合論で、集合$ Aが集合$ Bの部分集合であるとき
$ A \subset Bまたは$ A \subseteq Bという時の関係性を包含関係と呼ぶ。
#関係演算子