Estas definiciones son: