Category:Definitions/Magmas of Sets