Symmetric closure
In mathematics, the symmetric closure of a binary relation R on a set X is the smallest symmetric relation on X that contains R.
For example, if X is a set of airports and xRy means "there is a direct flight from airport x to airport y", then the symmetric closure of R is the relation "there is a direct flight either from x to y or from y to x". Or, if X is the set of humans and R is the relation 'parent of', then the symmetric closure of R is the relation "x is a parent or a child of y".
Definition
The symmetric closure S of a relation R on a set X is given by
In other words, the symmetric closure of R is the union of R with its converse relation, RT.
gollark: This is neat: https://www.roguetemple.com/z/hyper/
gollark: I programmed some drones to follow random players near spawn.
gollark: I'd rather not normalize increased spying. I don't think Steam is *too* bad for that, and quite a few of my games run directly without it anyway.
gollark: I don't really trust Epic Games to not do evil things, and in any case can't actually run their launcher on Linux.
gollark: Mostly, I die constantly and do /back, so it has no real consequences.
See also
References
- Franz Baader and Tobias Nipkow, Term Rewriting and All That, Cambridge University Press, 1998, p. 8
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.