theorem Th10: :: BAGORDER:11

for X being set
for a being Element of X
for A being finite Subset of X
for R being Order of X st A = {a} & R linearly_orders A holds
SgmX (R,A) = <*a*>