Syntax

• A ground set is written using the characters { and }, e.g. S = {1,3,{a,g}, f(2)}

• A domain D attached to a set variable is specified by two ground sets : Glb_s .. Lub_s

• Set expressions: Unfortunately the characters representing the usual set operators are not available on our monitors so we use a specific syntax making the connection with arithmetic operators:
  • Set union is represented by \/
  • Set intersection is represented by /\
  • Set minus is represented by \