・A⊇BとA⊆Bの両方を使っているので、両方とも示す必要がある
できなければ終わり
公理化するであれば公理を厳密に述べよ