集合Aの要素がすべて集合Bの要素になっているとき、ABの部分集合であるといい、ABと表す。