Talk:Order Isomorphism Preserves Initial Segments

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)