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

?SetVar1 `< ?SetVar2

Set inclusion constraint (obsolete)
SetVar1
A set variable.
SetVar2
A variable.

Description

Constrain sets SetVar1 and SetVar2 so that SetVar2 contains SetVar1.

Obsolete: (`<)/2 is available only for compatibility with conjunto library syntax. It is equivalent (with swapped arguments) to the preferred `>=/2. See its description for details.

See Also

`>= / 2, `= / 2