La correspondencia tiene las siguientes propiedades útiles: