https://thebossmind.com/coreflexivity-understanding-self-relation-in-binary-relations/