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