A、Bを個体とする。 ・A⊂B は、∀x（（x∈A）⇒（x∈B））の短縮形である。もちろん、これは派生的命題。⊂は派生的述語と言える。あくまでも、便宜上のもの。意味は、「AはBの部分」。 ・A＝B は、（A⊂B）∧（B⊂A）の短縮形。派生的命題。＝は派生的述語。同様に…