Table of Contents
When used with relation domains, produces solutions where elements of one domain are not related to themselves.
See this demonstrated here. Read more about this property here.