Estas definiciones: