Binary relations and closures
I have made a little tool. Here you can specify some binary relation over a finite set. Then you can generate a closure of it.
I have made a little tool. Here you can specify some binary relation over a finite set. Then you can generate a closure of it.