Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Union
Weak dominance
cwdom

Next ⟩ df-wdom

Metamath Proof Explorer

Unicode
Structured

Syntax definition cwdom

Description: Class symbol for the weak dominance relation.

		Ref	Expression
	Assertion	cwdom	class ~<_*