Es sencillo comprobar que estas operaciones están bien definidas ya que: