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

# ?Element notin ?SetVariable

Set non-membership constraint

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

## Description

Constrain SetVariable to not include Element.

notin/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 must be a member of SetVariable.

### Resatisfiable

No.

## See Also

`-@ / 2, `@ / 2, in / 2, `:: / 2