theorem Th75: :: ORDERS_5:63

for A being RelStr
for B being Subset of A
for s being FinSequence of A holds
( s is B -asc_ordering iff Rev s is B -desc_ordering )