Using predicates with values in a Heyting Algebra H, a generalized notion of set, denotedH-set, is constructed. The algebraic structure of this sets and the notions of product andrelations between them is studied.