theorem Th2: :: FRAENKEL:2

for A, B being set holds Funcs (A,B) c= bool [:A,B:]