Hur definierar du den minsta övre gränsen av en delmängd?

Hur definierar du den minsta övre gränsen av en delmängd?

Låt (B, ≤) vara en delvis beställda Ställ och låt C ⊂ B. En övre gräns för C är ett element b Є B sådan att c ≤ b för varje c Є C. Om m är en övre gräns för C och om m ≤ b för varje övre gräns b c, sedan m är en minsta övre gräns av C. C kan bara ha en minsta övre gräns, och det kanske inte har någon alls (beroende på B). Den minsta övre gränsen av en uppsättning C skrivs ofta som lub C.

Se relaterade länkar för mer information.