1.4 SIG1

spec

SIG1[ELEM] =

generated type

Set[Elem] ::=
{} | {|__|}(Elem) | __ union __(Set[Elem]; Set[Elem])

op

__ union __ : Set[Elem] × Set[Elem] -> Set[Elem], assoc, unit {}