English Dictionary

axiom of regularity

名詞

不可算名詞

(set theory) One of the axioms in axiomatic set theory, equivalent to the statement that every non-empty set contains a member that is disjoint from that set.

日本語の意味

（集合論）公理の一つで、任意の非空集合には、その集合と交わりを持たない要素が存在するという命題と同値な公理。

When studying set theory, I found that the axiom of regularity rules out infinitely descending membership chains.

集合論を学んでいると、正則性公理が無限に降下する包含の連鎖を排除することが分かった。

意味（1）

(set theory) One of the axioms in axiomatic set theory, equivalent to the statement that every non-empty set contains a member that is disjoint from that set.