Neutrosophic Sets and Systems, Vol. 22, 2018
168
University of New Mexico
Extension of Soft Set to Hypersoft Set, and then to Plithogenic Hypersoft Set Florentin Smarandache1 1
Department of Mathematics, University of New Mexico, Gallup, NM 87301, USA. E-mail: smarand@unm.edu
Abstract. In this paper, we generalize the soft set to the hypersoft set by transforming the function F into a multi-attribute function. Then we introduce the hybrids of Crisp, Fuzzy, Intuitionistic Fuzzy, Neutrosophic, and Plithogenic Hypersoft Set. Keywords: Plithogeny; Plithogenic Set; Soft Set; Hypersoft Set; Plithogenic Hypersoft Set; Multi-argument Function.
1 Introduction We generalize the soft set to the hypersoft set by transforming the function F into a multi-argument function. Then we make the distinction between the types of Universes of Discourse: crisp, fuzzy, intuitionistic fuzzy, neutrosophic, and respectively plithogenic. Similarly, we show that a hypersoft set can be crisp, fuzzy, intuitionistic fuzzy, neutrosophic, or plithogenic. A detailed numerical example is presented for all types. 2 Definition of Soft Set [1] Let π° be a universe of discourse, π«(π°) the power set of π°, and A a set of attributes. Then, the pair (F, π°), where πΉ: π΄ βΆ π«(π°) (1) is called a Soft Set over π°. 3 Definition of Hypersoft Set Let π° be a universe of discourse, π«(π°) the power set of π°. Let π1 , π2 , β¦ , ππ , for π β₯ 1, be n distinct attributes, whose corresponding attribute values are respectively the sets π΄1 , π΄2 , β¦ , π΄π , with π΄π β© π΄π = β , for π β π, and π, π β {1, 2, β¦ , π}. Then the pair (πΉ, π΄1 Γ π΄2 Γ β¦ Γ π΄π ), where: πΉ: π΄1 Γ π΄2 Γ β¦ Γ π΄π βΆ π«(π°) (2) is called a Hypersoft Set over π°. 4 Particular case For π = 2, we obtain the ΞβSoft Set [2]. 5 Types of Universes of Discourses 5.1. A Universe of Discourse π°πΆ is called Crisp if βπ₯ β π°πΆ , x belongs 100% to π°πΆ , or xβs membership (Tx) with respect to π°πΆ is 1. Letβs denote it x(1). 5.2. A Universe of Discourse π°πΉ is called Fuzzy if βπ₯ β π°π , x partially belongs to π°πΉ , or ππ₯ β [0, 1], where ππ₯ may be a subset, an interval, a hesitant set, a single-value, etc. Letβs denote it by π₯(ππ₯ ). 5.3. A Universe of Discourse π°πΌπΉ is called Intuitionistic Fuzzy if βπ₯ β π°πΌπΉ , x partially belongs (ππ₯ ) and partially doesnβt belong (πΉπ₯ ) to π°πΌπΉ , or ππ₯ , πΉπ₯ β [0, 1], where ππ₯ and πΉπ₯ may be subsets, intervals, hesitant sets, single-values, etc. Letβs denote it by π₯(ππ₯ , πΉπ₯ ). 5.4. A Universe of Discourse π°π is called Neutrosophic if βπ₯ β π°π , x partially belongs (ππ₯ ), partially its membership is indeterminate (πΌπ₯ ), and partially it doesnβt belong (πΉπ₯ ) to π°π , where ππ₯ , πΌπ₯ , πΉπ₯ β [0, 1], may be subsets, intervals, hesitant sets, single-values, etc. Letβs denote it by π₯(ππ₯ , πΌπ₯ , πΉπ₯ ). 5.5. A Universe of Discourse π°π over a set V of attributesβ values, where π = {π£1 , π£2 , β¦ , π£π }, π β₯ 1, is called Plithogenic, if βπ₯ β π°π , x belongs to π°π in the degree ππ₯0 (π£π ) with respect to the attribute value π£π , for all
Florentin Smarandache. Extension of Soft Set to Hypersoft Set, and then to Plithogenic Hypersoft Set