:: deftheorem Def2 defines Components YELLOW15:def 2 :
for X being set
for Y being finite Subset-Family of X
for b₃ being Subset-Family of X holds
( b₃ = Components Y iff ex p being FinSequence of bool X st
( len p = card Y & rng p = Y & b₃ = { (Intersect (rng (MergeSequence (p,q)))) where q is FinSequence of BOOLEAN : len q = len p } ) );