Math Notes – Identity Relations
A member of the Identity Relation has the property that the first member of the ordered pair is is the same as the second member of the ordered pair.
Axiom 1: a I b º a = b
While the Identity Relation is a relatively simple relation with more or less obvious properties, the Identity Relation occurs frequently enough in many different relation-related and set-related theorems that a treatment of the Identity Relation is valuable.
The first Identity theorem asserts that the domain of a result is the result.
Theorem 1: dom.I.R = R
The Identity Relation is its own inverse.
Theorem 2: I = I-1
As the domain of a result is the result, the range of an initial state is the initial state.
Theorem 3: ran.I.P = P
Brettler, Eli 1999, Course notes and comments from M1090 and M2090 math and logic courses, http://www.math.yorku.ca/Who/Faculty/Brettler/menu.html
Fejer, Peter and Simovici, Dan A., 1991, Mathematical Foundations of Computer Science, New York, NY: Springer-Verlag
Ganong, Rick 1999, Course notes and comments from M1090 and M2090 math and logic courses, http://www.math.yorku.ca/Who/Faculty/Ganong
Hu Sze-Tsen, 1963, Elements of Modern Algebra, San Francisco: Holden-Day, Inc.