No label defined (Q4933965)

A fuzzy order on a set \(X\) is an order on \(I^X\); a fuzzy order \(\ll\) on \(X\) is called semi-topogenous if \(0\ll 0\), \(\ll 1\), \(\mu\leq\rho\) and \(\mu\leq \mu'\ll\rho'\leq\rho\) implies \(\mu\ll\rho,\) \( \forall \mu,\mu',\rho,\rho'\in I^X.\) A semi-topogenous fuzzy order \(\ll\) on \(X\) is called topogenous if \(\mu_i\ll \rho_i\) \((i = 1,2)\) implies \(\mu_1\wedge \mu_2\ll \rho_1\wedge\rho_2.\) Let \(\chi\) be a fuzzy subset of \(X\) and \(\ll\) a semi-topogenous (topogenous) fuzzy order on \(X\). The author defines the restriction of \(\ll\) on \(\chi\), denoted \(\ll |_X,\) by \(\mu\ll |_X \rho\) for \(\mu, \rho\in \chi\) if \(\mu'\ll\rho'\) for fuzzy subsets \(\mu'\) and \(\rho'\) of \(X\) where \(\mu = \mu'\cap\chi\) and \(\rho = \rho'\cap\chi.\) A fuzzy structure on \(X\) is a non-empty directed family \(\mathcal R \) of topogenous fuzzy order on \(X\), a fuzzy syntopogenous structure is a idempotent fuzzy order structure. In this paper the author introduces fuzzy order structures as a generalization of the fuzzy syntopogenous structures, the restriction of fuzzy order structures to a fuzzy subset of the underlying set, the fuzzy continuity of mappings and relatively fuzzy continuity. The properties of images of a fuzzy order structure are given. The author also defines fuzzy order structure groups and shows that the inverse image of a fuzzy order structure group under a homomorphism of groups is a fuzzy order structure group. There are many misprints in this paper.