19/09/19 19:33:56.19 7GQwcv+X.net
>>338
> １）A∈Bのとき、二項関係 A ∈R B が成立っているとする
> ２）さらに、A∈B∈Cのとき、二項関係 A ∈R B とB ∈R C のみならず、A ∈R Cも成立っているとする（推移律）
> くどいが、間にBを挟んだ間接的な場合にも、A ∈R Cも成立っているとする
で？
まさか
「A ∈R C ならば A ⊂ C」
とかタワケたこと言わんだろうねｗ
君、A⊂Bの定義、知ってる？
∀x(x∈A⇒x∈B)
が成り立つ時だよ
決して
∀x(x ∈R A⇒x ∈R B)
が成り立つ時ではないからｗ