Sets, relations and functions - Gray James F (1962)
Keywords: Higher algebra