שינויים

נניח ש- <math>|A|\geq 2</math>. האם ב <math>O</math> יש מקסימום (איבר גדול ביותר)?

תשובה: לא. נניח שקיים איבר מקס' <math>S</math>. כיוון שגם <math>R^{-1}\in O</math> יחס אזי <math>R\cup R^{-1} \subseteq S</math>. בפרט אם <math>(a,b)\in R</math> שונים (נניח שב כי ב <math>A</math> יש 2 איברים לפחות) אזי <math>(b,a)\in R^{-1}</math> ולכן <math>(a,b),(b,a)\in S</math> בניגוד לכך ש <math>S</math> אנטי סימטרי