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