La aplicación de cualquier relación "R" sobre un conjunto "A", se representa con el par ordenado "(A, R)".