Definiciones de tipo completas