Syntax definition celdisjs

Description: Extend the definition of a class to include the disjoint elements class, i.e., the disjoint element relations class.

	Ref	Expression
Assertion	celdisjs	$$class\mathrm{ElDisjs}$$