La medial en álgebra abstracta, un magma que satisface la identidad.