19/09/29 17:01:54.78 WcBxaUNf.net
>>676
>正則性公理
>空でない集合は必ず自分自身と交わらない要素を持つ。
>を記号で書くと
>∀A( A≠Φ → ( ∃x∈A∀t∈A ￢(t⊂x) ) )
>だろうな。
いや
∀A( A≠Φ → ( ∃x∈A.A∩＝Φ)
だろう。
∀t∈A ￢(t∈x) ⇔ A∩x＝Φ
19/09/29 17:01:54.78 WcBxaUNf.net
>>676
>正則性公理
>空でない集合は必ず自分自身と交わらない要素を持つ。
>を記号で書くと
>∀A( A≠Φ → ( ∃x∈A∀t∈A ￢(t⊂x) ) )
>だろうな。
いや
∀A( A≠Φ → ( ∃x∈A.A∩＝Φ)
だろう。
∀t∈A ￢(t∈x) ⇔ A∩x＝Φ