Definition:Supremum of Set/Also known as