12/01/13 20:34:54.20
次の性質を持つ集合 x は一般に何と呼ばれているのですか?
∀y∀z [ [x ∋ y ∋ z ] ⇒ [ x ∋ z ] ]
12/01/13 20:34:54.20
次の性質を持つ集合 x は一般に何と呼ばれているのですか?
∀y∀z [ [x ∋ y ∋ z ] ⇒ [ x ∋ z ] ]
12/01/13 20:34:54.20
次の性質を持つ集合 x は一般に何と呼ばれているのですか?
∀y∀z [ [x ∋ y ∋ z ] ⇒ [ x ∋ z ] ]