Constructible set