Пакты айнымалы функциялар теориясынын, непздер!

Айталык а мен р perriK сандар. Осы сандарга сэйкес а
жоне р типтес А жене В жиындарын курайык,. Аныктама
бойынша, егер a s в болса, онда а ~ р болады. Егер А £ В
болып, в жиынынын А -га изоморфты алгашкы Kecireiici
табылса, онда а < р деп, ал А жиынынын В -га изоморфты
алгашкы кеандкл табылса а > р деп айтамыз.
Теорема 3. Егер эбден реттелген а жиынынын кдндайда
болмасын 6ip imid жиынына изоморфты бейнелеу! / болса,
онда А жиынынын барлык а элементтер1 р ш /И > «
болады.
Дэлелдеу. Kepicimue жорып, А жиынында /(«)«/
тенс1здшн канагатгандыратын элементгер бар дешк. Мундай
элементгер л-н ы ц а„= {ee a . f(a)„) < /(«„> = />„.
Демек, б0