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

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