La definición implica lo siguiente.