1. One of the basic actions performed on sets that, when applied in the form
adds the element
el to the set
S. If
el is already in
S the operation has no effect on the membership of
S.
See also operations on sets.
2. One of the basic actions performed on lists, that places a new element into a list, not necessarily at one end or the other.