Con las definiciones anteriores es inmediato comprobar que: