Introducimos primero tres definiciones.