集合間の包含関係⊂と同値な条件一覧

A⇒B「AならばB 」の言い換えを踏まえて、集合間の包含関係⊂を表す命題　に、言い換え表現追加。