Skip to main content

All Questions

Filter by
Sorted by
Tagged with
0 votes
1 answer
715 views

Reflexive transitive closure = (zero or more) Kleene star?

In Alloy Tutorial they denote some reflexive transitive closure with Kleene star saying that they admit zero or more elements at that position. ...
Little Alien's user avatar