Table of Contents
When used with relation domains, ensures that if x is related to y, then x = y. This means elements of domains are only mapped to themselves.
x
y
x = y
See this demonstrated here. Read more about this property here.