[ library(ordset) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
# ord_insert(+Set1, +Element, -Set2)

Adds an element to a set
*Set1*
- A set
*Element*
- A term
*Set2*
- A set or variable

## Description

Set2 is the set resulting from adding Element to Set1. It should
give exactly the same result as merge(Set1, [Element], Set2).
This is a synonym of ord_add_element/3.
### Modes and Determinism

- ord_insert(+, +, -) is det

## See Also

ord_add_element / 3