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. ...