¿Cómo se llaman las funciones aplicadas a ambos lados de una relación que mantienen la relación? ¿Cómo se llaman estos tipos de procesos/funciones/operaciones? ¿Cómo se llaman las funciones que violan la relación?
Editar: eliminar el comentario sobre la relación de igualdad.