
lub(?S, ?Lub)

   S is a set domain variable and Lub is the lower bound of its domain.



Arguments
   ?S                  A set domain variable.
   ?Lub                A free variable or a ground set.

Type
   library(conjunto)

Description
   Lub is the ground set corresponding to the upper bound of the domain of
   S. If Lub is a free variable, it is instanciated to the upper bound of
   the domain of S. If it is a ground set, it should be equal to the upper
   bound of the domain of S, otherwise it fails.




Fail Conditions
      Fails if S is not a set domain variable or if Lub is a ground set not
   equal to the upper bound of S domain.



Resatisfiable
      No.

Examples
   
[eclipse 9]: S `:: {}.. {1,2,3,5}, lub(S,Lub).

S = S{{} .. {1, 2, 3}}
Lub = {1, 2, 3}
yes.





See Also
   `:: / 2, glb / 2, set_range / 3
