Search citation statements
Paper Sections
Citation Types
Year Published
Publication Types
Relationship
Authors
Journals
If R is a relation on X to Y, U is a relation on P (X) to Y, and V is a relation on P (X) to P (Y), then we say that R is an ordinary relation, U is a super relation, and V is a hyper relation on X to Y. Motivated by an ingenious idea of Emilia Przemska on a unified treatment of open- and closed-like sets, we shall introduce and investigate here four reasonable notions of product relations for super relations. In particular, for any two super relations U and V on X, we define two super relations U * V and U * V, and two hyper relations U ★ V and U * V on X such that : ( U * V ) ( A ) = ( A ∪ U ( A ) ) ∩ V ( A ) , ( U * V ) ( A ) = ( A ∩ U ( A ) ) ∪ U ( A ) \begin{array}{*{20}{l}} {(U*V)(A) = (A\mathop \cup \nolimits^ U(A))\mathop \cap \nolimits^ V(A),}\\ {(U*V)(A) = (A\mathop \cap \nolimits^ U(A))\mathop \cup \nolimits^ U(A)} \end{array} and ( U ★ V ) ( A ) = { B ⊆ X : ( U * V ) ( A ) ⊆ B ⊆ ( U * V ) ( A ) } , ( U * V ) ( A ) = { B ⊆ X : ( U ∩ V ) ( A ) ⊆ B ⊆ ( U ∪ V ) ( A ) } \begin{array}{*{20}{l}} {(UV)(A) = \{ B \subseteq X:\,(U*V)(A) \subseteq B \subseteq (U*V)(A)\} ,}\\ {(U*V)(A) = \{ B \subseteq X:\,(U\mathop \cap \nolimits^ V)(A) \subseteq B \subseteq (U\mathop \cup \nolimits^ V)(A)\} } \end{array} for all A ⊆ X. By using the distributivity of the operation ∩ over ∪, we can at once see that U * V ⊆ U * V. Moreover, if U ⊆ V, then we can also see that U * V = U * V. The most simple case is when U is an interior relation on X and V is the associated closure relation defined such that V (A) = U (Ac ) c for all A ⊆ X.
If R is a relation on X to Y, U is a relation on P (X) to Y, and V is a relation on P (X) to P (Y), then we say that R is an ordinary relation, U is a super relation, and V is a hyper relation on X to Y. Motivated by an ingenious idea of Emilia Przemska on a unified treatment of open- and closed-like sets, we shall introduce and investigate here four reasonable notions of product relations for super relations. In particular, for any two super relations U and V on X, we define two super relations U * V and U * V, and two hyper relations U ★ V and U * V on X such that : ( U * V ) ( A ) = ( A ∪ U ( A ) ) ∩ V ( A ) , ( U * V ) ( A ) = ( A ∩ U ( A ) ) ∪ U ( A ) \begin{array}{*{20}{l}} {(U*V)(A) = (A\mathop \cup \nolimits^ U(A))\mathop \cap \nolimits^ V(A),}\\ {(U*V)(A) = (A\mathop \cap \nolimits^ U(A))\mathop \cup \nolimits^ U(A)} \end{array} and ( U ★ V ) ( A ) = { B ⊆ X : ( U * V ) ( A ) ⊆ B ⊆ ( U * V ) ( A ) } , ( U * V ) ( A ) = { B ⊆ X : ( U ∩ V ) ( A ) ⊆ B ⊆ ( U ∪ V ) ( A ) } \begin{array}{*{20}{l}} {(UV)(A) = \{ B \subseteq X:\,(U*V)(A) \subseteq B \subseteq (U*V)(A)\} ,}\\ {(U*V)(A) = \{ B \subseteq X:\,(U\mathop \cap \nolimits^ V)(A) \subseteq B \subseteq (U\mathop \cup \nolimits^ V)(A)\} } \end{array} for all A ⊆ X. By using the distributivity of the operation ∩ over ∪, we can at once see that U * V ⊆ U * V. Moreover, if U ⊆ V, then we can also see that U * V = U * V. The most simple case is when U is an interior relation on X and V is the associated closure relation defined such that V (A) = U (Ac ) c for all A ⊆ X.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.