H - CONJUNTOS
Jorge Páez O., Carlos Luque A., Albedo Donado N. · Tecné Episteme y Didaxis TED · 1999
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.