Metamath Proof Explorer

Metamath Proof Explorer

< Previous Next >
Related theorems
GIF version

Syntax Definition csdm 3273

Description: Extend class definition to include strict dominance relation (curly less-than)

**Assertion**
Ref	Expression
csdm	class ≺

See definition df-sdom 3276 for more information.

Colors of variables: wff set class