Rambler's Top100





6
Доказательство
)).ZY())ZY(\Z())ZY(\Y(,X(f)ZY,X(f
Так как
множества
)ZY(\Y
,
)ZY(\Z
,
ZY
попарно не пересекаются, то
по свойству 1:
))ZY(\Z,X(f))ZY(\Y,X(f)ZY,X(f
).ZY,X(f
Так как
Z)ZY(,Y)ZY(
, то по свойству 2:
)Z,X(f)ZY,X(f)Y,X(f)ZY,X(f
).ZY,X(f)ZY,X(f
Отсюда
).ZY,X(f)Z,X(f)Y,X(f)ZY,X(f