Metadata
Author: WikiMatrix
Data
English[en]
There is an inclusion functor: Set → Med ↪ Mag as trivial magmas, with operations given by projection: x T y = y .
Dutch[nl]
Er is een inclusiefunctor van Set naar Med tot (inclusie) Mag als triviale magma's, met operaties, gegeven door de projectie: x' 'T y = y.