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 Disj_ x e. A B