Syntax definition wdisj

Description: Extend wff notation to include the statement that a family of classes B ( x ) , for x e. A , is a disjoint family.

	Ref	Expression
Assertion	wdisj	$$wff\underset{x\in A}{Disj}B$$