(quote ++,Set,Set)

x ++ y -- the disjoint union of two sets.

i1 : set {a,b,c} ++ set {b,c,d}

o1 = Set {(0, b), (1, b), (0, c), (1, c), (1, d), (0, a)}

o1 : Set

See also Set and ++.

topindexpreviousupnext