#definiciones inductivas