Definition:Finite Supremum