Recordemos sus definiciones,