On the Closure Operator and the Closure System of Many Sorted Sets
نویسنده
چکیده
In this paper definitions of many sorted closure system and many sorted closure operator are introduced. These notations are also introduced in [9], but in another meaning. In this article closure system is absolutely multiplicative subset family of many sorted sets and in [9] is many sorted absolutely multiplicative subset family of many sorted sets. Analogously, closure operator is function between many sorted sets and in [9] is many sorted function from a many sorted set into a many sorted set.
منابع مشابه
Linear v{C}ech closure spaces
In this paper, we introduce the concept of linear v{C}ech closure spaces and establish the properties of open sets in linear v{C}ech closure spaces (Lv{C}CS). Here, we observe that the concept of linearity is preserved by semi-open sets, g-semi open sets, $gamma$-open sets, sgc-dense sets and compact sets in Lv{C}CS. We also discuss the concept of relative v{C}ech closure operator, meet and pro...
متن کاملCategories isomorphic to the category of $L$-fuzzy closure system spaces
In this paper, new definitions of $L$-fuzzy closure operator, $L$-fuzzy interior operator, $L$-fuzzy remote neighborhood system, $L$-fuzzy neighborhood system and $L$-fuzzy quasi-coincident neighborhood system are proposed. It is proved that the category of $L$-fuzzy closure spaces, the category of $L$-fuzzy interior spaces, the category of $L$-fuzzy remote neighborhood spaces, the category of ...
متن کامل$r$-fuzzy regular semi open sets in smooth topological spaces
In this paper, we introduce and study the concept of $r$-fuzzy regular semi open (closed) sets in smooth topological spaces. By using $r$-fuzzy regular semi open (closed) sets, we define a new fuzzy closure operator namely $r$-fuzzy regular semi interior (closure) operator. Also, we introduce fuzzy regular semi continuous and fuzzy regular semi irresolute mappings. Moreover, we investigate the ...
متن کاملSome (Fuzzy) Topologies on General\ Fuzzy Automata
In this paper, by presenting some notions and theorems, we obtaindifferent types of fuzzy topologies. In fact, we obtain someLowen-type and Chang-type fuzzy topologies on general fuzzyautomata. To this end, first we define a Kuratowski fuzzy interioroperator which induces a Lowen-type fuzzy topology on the set ofstates of a max- min general fuzzy automaton. Also by provingsome theorems, ...
متن کاملOn the Many Sorted Closure Operator and the Many Sorted Closure System
For simplicity, we adopt the following rules: i, x, I denote sets, A, M denote many sorted sets indexed by I, f denotes a function, and F denotes a many sorted function indexed by I. The scheme MSSUBSET deals with a set A , a non-empty many sorted set B indexed by A , a many sorted set C indexed by A , and a unary predicate P , and states that: If for every many sorted set X indexed by A holds ...
متن کامل