constructible

可构成的