
 (2.54)  
ешалась  так  называемым  прямым  методом,  т.е.  для  произвольного  определялось 
.  
В основе обратного метода нахождения результатов алгебраических операций лежит важное
следствие из следующей теоремы.  
Теорема 2.8.
 Пусть 
X
 и 
Y
 - произвольные базовые множества, 
AF(X)
 и задано отображение 
f: X
→
 
Y
. Если для 
∀
y Y 
∃
x X
 такой, что , то справедливо равенство  
 (2.55)  
оказательство.
  Пусть  такое,  что . Тогд
 
, т.е.  и, следовательно, .  
С  другой  стороны,  пусть  , т.е. . Тогда  по  условию  теоремы 
существует  такой,  что . Поскольку , то 
. Теорема доказана.  
Следствие.
 Если 
A, B F(R)
 , то  
  
оказательство.
Как  было  отмечено  ранее,  алгебраические  операции  определяются 
отображением 
f:R
∗
 R
→
R
 , т.е.  для 
F
-величин 
A
  и 
B
  имеем 
f(A
∗
 B)=A
°
B
.  Учитывая,  что  в 
данном случае справедливо равенство , с учетом (2.55) получаем 
  
что и требовалось доказать.  
Очевидно,  что  указанная  теорема  и  следствие  справедливы  также  для  слабых 
α
 -уровневых 
множеств.  
F
-величина 
A
 называется 
ограниченной
 
, если 
σ
(A)
 - ограниченное множество. Подкласс из 
F
(R)
 ограниченных и выпуклых 
F
-величин обозначим через .  
Из  условия  теоремы  следует,  что  доказанное  следствие  выполняется,  когда  основное 
соотношение 
2.54
 можно записать в виде