「BはAの部分集合」の言い換え

「BはAの部分集合A⊃B」の同値条件一覧を新規作成、アップロード。