A program with GUI for calculating Relational Reflexive Closure, Equivalence Class, Hasse Diagram, Topological Sorting.