Las condiciones para que un tipo de datos T sea "declarado completo" son "a grandes rasgos" las siguientes: