Table of Contents
When used with relation domains produces solutions where every element in one domain is related to itself.
See this demonstrated here. Read more about this property here.