Approximation Spaces of Type-Free Sets

Autor: Akira Kanda, Peter Apostoli
Rok vydání: 2001
Předmět:
Zdroj: Rough Sets and Current Trends in Computing ISBN: 9783540430742
Rough Sets and Current Trends in Computing
DOI: 10.1007/3-540-45554-x_11
Popis: We present an approximation space (U, R) which is an infinite (hypercontinuum) solution to the domain equation U ≅ C(R), the family of elementary subsets of U. Thus U is a universe of type-free sets and R is the relation of indiscernibility with respect to membership in other type-free sets. R thus associates a family [u]R of elementary subsets with u ∈ U, whence (U, R) induces an generalized approximation space (U, c: U → U; i : U → U); where c(u) = ∪[u]R and i(u) = ∩[u]R.
Databáze: OpenAIRE