csdm - Metamath Proof Explorer

Metamath Proof Explorer

< Previous Next >
Related theorems
GIF version

Syntax Definition csdm 4356

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

**Assertion**
Ref	Expression
csdm	class ≺

See definition df-sdom 4359 for more information.

Colors of variables: wff set class