kif#set  ADT where duplicate elements are not allowed
  supertype:  structured_ADT__structured_abstract_data_type (pm)
  subtype:  or_set  set of OR-ed elements
  subtype:  xor_set__xorset  set of XOR-ed elements

No statement uses or specializes set; click here to add one.