Relations defined on sets (1989)

by Edmund Woronowicz
Venue:http://mizar.org/JFM/Vol1/ relset_1.html. Received December 13