It is a program with GUI for Relational Reflexive Closure, Equivalence Classes, Hasse Diagram, Topological Sorting.
The arrows of the digraph and self loop have not been drawn yet. I'll add them when I have spare time.
It is established by VS2019 and Qt5.
Equivalence Closure
Equivalence Closure 2
Hasse Diagram
Topological Sorting