for f being ConwayGameChain
for n, m being Element of dom f st n < m holds
ConwayRank (f . n) in ConwayRank (f . m)