theorem Th5: :: BVFUNC14:5

for Y being non empty set
for G being Subset of (PARTITIONS Y)
for A, B, C being a_partition of Y st G = {A,B,C} & A <> B & B <> C holds
CompF (B,G) = C '/\' A