are also different types of relations/relational properties. These are used for the <a href="Bastet/Interface/module-type-EQ/index.html"><code>Bastet.Interface.EQ</code></a> and <a href="Bastet/Interface/module-type-ORD/index.html"><code>Bastet.Interface.ORD</code></a> interfaces, but they also show up with lattice-like structures. They're also good to know if you plan on doing relational or logic programming:</p><ul><li><a href="https://en.m.wikipedia.org/wiki/Reflexive_relation">Reflexivity</a></li><li><a