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