פונקציה שומרת סדר – הבדלי גרסאות

* '''פונקציית [[איזומורפיזם (מתמטיקה)|איזומורפיזם]]''' : יהיו <math> (P ,\le)</math> ו <math> (Q ,\le)</math> [[סדר_חלקי | סדרים חלקיים]], תהי <math>\ f : Q \rightarrow P </math> פונקציה שומרת סדר ו[[פונקציה_חד-חד-ערכית |חח"ע]] ו[[התאמה_על |על]], אז f נקראת איזומורפיזם. הקבוצות הסדורות <math> (P ,\le)</math> ו <math> (Q ,\le)</math> נקראות איזומורפיות. ויש להן אותו [[טיפוס סדר]].