added constructors for constructible sets