- G(ß)-- оократишй (делгшнй), еода &(ß) является уч5о- кратйшш (/-делшшм) для всах ^е ( /^..,^ /?/ ;

- ^ G (Â ) - /7 ~квазигр;^шпа, еоли 5/W/ является оократн- шм делшшм /?-грушойАОм Li] s

- jT ? б~допусТ1шо, еолн из ^/?& следует ^ чуо тп всех

~ ß олабо ^'--допуотйш, еслй ш й^/?5 следует, Ч'го для всех Jte <?, Iß (х^ a)pLfi(ji^ Ь) ;

- ' р /-Hopai^fio, еслш öfy^^> ^^^ только сутцествуте х^^...

« р cjiado 6 «норшлыю, оолк арЬ^ как то.1^ько оущеотвует jc€Ö 00 свойством £>^Г^, а)/> t>7flr^ 6};

- / ) допуотш^ю (норшльно)у еоли р является /-допус-

^НМШ fy-НОрШЛЬйш) для ВС ex j^ {Ь'-^'>^)\

- /? - конгруаношт (норшльная конгрувнщя), если р до- пусФшшл (й нормаяькая) эквивалентность*

Наконец , ввделш îpB опещальных отноше^шяг с^*^{*^й^,(г>1

\QeG ] , ft^^G^B ^ ^в"^ '^в^^е (шшгда ш будем окуо-

REÎb ННДвКО)* ОВДВВДНО, 4Ï0 -^,0^ ДОПуСТШШ, ^ , <^д НОр-

шивьш й eoicg е(Л) является е-оокра^ймшй, to *ö^ - t-нор- кшиаьшш » ^ е-допусгймш.

В дальнейшем будем чтио исшльэова^ь следующий //--«рньй! рвттт классической коштрукщш Брака \2]%

ПредлоАвййв !• Що^ъ G (fi) - -^асфэтный /7-грув- I повд. Тогда оущеомует /^-грушоад ^ (B^/f) (8)^ обда- дахвфкй овоНо^вшшз

1 ) 6 (Д) -- шùtжmШ /^-нодгрутшовд в M {fffA)(ß) ;

2 ) еолА H (£) ^ мйой п-труатт й / - гошкюзрфйШ йо ^f// в ///£/, Î0 оуществуе-г в точности одш агомонор- фпт / »» d^(GfAH8) в //Г£; Факой, адо ^в*/\

^ 3) если с€{/,...,^|, Jt^,.w^^^.,,«^^^^.-.^^^,£i,5éof/^4^^

то ШШ 1У*А ЕШ ^f,*»^,^i^o^i^f*-'f^Hf^*^^^

определены й рвВ|Ше

Î46