theorem Th19: :: CARD_FIN:20

for y being set
for F, Ch being Function st not Intersection (F,Ch,y) is empty holds
Ch " {y} c= dom F