Next: Set comprehension expressions, Previous: List comprehension expressions, Up: Syntax [Contents][Index]
A set is a comma separated sequence of ground expressions surrounded with {
and }
braces. If there are any duplcate ground terms when all the expressions have been evaluated all but one of the duplicates will be removed. If returned as the value of a expression entry to the interpreter, or as a binding of a variable in a relation query, it will be diplayed with its elements in term order as determined by the @
primitive.
Example set expression entry:
| ?? {4,3,1,5-2,1}. {1, 3, 4} : {nat}