theorem :: ORDERS_5:4

for X being set
for R being Order of X
for B being finite Subset of X
for x being object st B = {x} holds
SgmX (R,B) = <*x*>