[ library(cardinal) | Reference Manual | Alphabetic Index ]

# lub(?SetVariable, -Lub)

Obtaining a set's lub

SetVariable
  A set variable.
Lub
  A set.

## Description

Lub is unified with the (least) upper bound of SetVariable.

### Fail Conditions

Fails if Lub can not be unified with the current lub of SetVariable.

### Resatisfiable

No.

## Examples

    ?- S `::[c]+[a,b], lub(S,L).
    L = [a,b,c]

## See Also

lub / 4, glb / 2, poss / 2, glb_poss / 3, domain / 2, domain / 3