si el elemento x está relacionado con el elemento y según la correspondencia f.