互いに素を表す命題

集合から論理へに、互いに素を表す命題を追加。

差集合の内包をなす述語・命題関数

集合から論理へに、差集合の内包をなす述語・命題関数を追加。