A partir de la definición, podemos obtener las siguientes consecuencias (prove!):