Constructible sets with applications