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.

metamath.org