Talk:Order Isomorphism Preserves Initial Segments

From ProofWiki
Jump to navigation Jump to search

See my similar comment on Talk:Order Isomorphism Preserves Strictly Minimal Elements‎ regarding $\prec_1$ and $\prec_2$ being specified as strict orderings and not general relations. --prime mover 08:03, 11 August 2012 (UTC)