INCL(v: SET; x: INTEGER)
v := v + {x}
Other regular proper procedures: ASSERT DEC EXCL INC NEW PACK UNPK