theorem Th10: :: BAGORDER:11

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*>