Estas definiciones eran: