Procedures: Sets

• Contains — Checks whether a set contains a given key.