Индуктивное расширение функции / OTLOGVAR

Ћв«®¦Ґ­­лҐ ў аЁ ­вл:

¤) X=S, P(a,b)=(Ord(a)<Ord(b));
¤) X=S, P(a,b)=(ЃгЄў (a) & –Ёда (b)), Ј¤Ґ –Ёда (a)=True, Ґб«Ё a -
жЁда , Ё False ў Їа®вЁў­®¬ б«гз Ґ,   ЃгЄў (a)=True, Ґб«Ё a - ЎгЄў 
(« вЁ­бЄ®Ј®  «д ўЁв ), Ё False ў Їа®вЁў­®¬ б«гз Ґ.
13. ‘।­пп ¤«Ё­  бўп§­®© ЈагЇЇл Їа®ЎҐ«®ў, f: W(S) --> R+.
14. Њ ЄбЁ¬ «м­ пп ¤«Ё­  бўп§­®© ЈагЇЇл Їа®ЎҐ«®ў, f: W(S) --> N0.
15. ‘।­пп ¤«Ё­  Ё¤Ґ­вЁдЁЄ в®а , f: W(S) --> R+. (€¤Ґ­вЁдЁЄ в®-
஬ ­ §лў Ґвбп Ї®б«Ґ¤®ў вҐ«м­®бвм ЎгЄў Ё жЁда, ­ зЁ­ ой пбп б ЎгЄўл).
16. Њ ЄбЁ¬ «м­ пп ¤«Ё­  Ё¤Ґ­вЁдЁЄ в®а , f: W(S) --> N0 (б¬.15).