Catalizer of binary relations and the fork operator as image of a general disjoint union-function of a cartesian product functions

Bulletin of the Section of Logic, Tom 26, Numer 1 (1997) s. 31-38
Mauricio Pablo Marlangeon