Related topics
Reflexive relation
Y indicates that the column's property is always true for the row's term (at the very left), while ✗ indicates that the property is not guaranteedin general (it might, or might not, hold). For example, that every equivalence relation is symmetric, but not necessarily antisymmetric,is indicated by Y in the "Symmetric" column and ✗ in the "Antisymmetric" column, respectively.
*As an Amazon Associate I earn from qualifying purchases.