Next: , Previous: , Up: Syntax   [Contents][Index]

3.8 Sets

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}