De la definición resulta que: