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

жиынынын т„ элементш сэйкестеншретш А жиынында
аныкталган q> фунюциясы табылады (ср(а) = т„,а е А,ти еМ„) .
Баскдша айтсак,
жиындарынан 6ip-6ip элементген Taiwan
алып жана жиын куруга болады (тандау аксиомасы!).
Тандау аксиомасын непзге алып кез келген жиынды
эбден реттеуге болатынын Цермело дэледцеда дедж (Цермело
теоремасы). Kepicimne, Цермело теоремасына суйенш тандау
аксиомасын теорема ретшде дэлелдеуге болатьшын
корсетейж. Шынында, А = {а} индекстер жиынынын а
элемента ушш аныкталган ма жиынын эбден реттеуге
болатын болса, онда