for alpha, beta being Ordinal st alpha c= beta holds
ConwayDay alpha c= ConwayDay beta