שינויים
/* קס"ח */ פסקה חדשה
אם X קטן ממש מ Y ניתן להסיק ש F של X קטן ממש מ F של Y?
== קס"ח ==
האם קבוצה סדורה חלקית היא קבוצה של זוגות סדורים או קבוצה רגילה שמוגדר עליה יחס סדר
== קס"ח ==
האם קבוצה סדורה חלקית היא קבוצה של זוגות סדורים או קבוצה רגילה שמוגדר עליה יחס סדר