theorem Th18: :: ALTCAT_1:24

for A being non empty set
for o1, o2, o3 being Object of (DiscrCat A) st ( o1 <> o2 or o2 <> o3 ) holds
the Comp of (DiscrCat A) . (o1,o2,o3) = {}