集合間の包含関係⊂を表す命題/互いに素を表す命題

・集合間の包含関係⊂を表す命題　
　文献に黒崎達『集合論演習』・彌永昌吉『数の体系（上）』追加。
・互いに素を表す命題　
　「互いに素」の同値条件を踏まえて加筆。