La restricción de espacio de nombres del comodín derivado debe ser un subconjunto intensional de la restricción de espacio ...