[ library(cardinal) | Third Party Libraries | Reference Manual | Alphabetic Index ]

# ?Element in ?SetVariable

Set membership constraint

SetVariable
  A set variable.
Element
  A ground term or a variable.

## Description

Constrain SetVariable to include Element.

in/2 is available for compatibility with conjunto library syntax. It is equivalent to the preferred `@/2. See its description for details.

### Fail Conditions

Fails if Element can not be a member of SetVariable.

### Resatisfiable

No.

## See Also

`@ / 2, `-@ / 2, notin / 2, `:: / 2