Relations are an important vehicle to write specifications. In this article

we study some properties of binary relations. First we start from binary

relations in general with domain, range, composition, images etc.

In the second part we study endorelations i.e. binary relations where the type

of the domain and the range are the same. The most important endorelations are

transitive relations. Transitive relations have a close connection to closure

systems.

...

## Recent comments

9 hours 21 min ago

9 hours 56 min ago

2 days 18 hours ago

2 days 23 hours ago

3 days 7 hours ago

3 days 16 hours ago

3 days 23 hours ago

4 days 18 hours ago

6 days 1 hour ago

6 days 11 hours ago