, - .
.. , , - .
, , (, , .. f h).
, , , (. 2.18).
p ^ å (f ∩ h)
p1 ^ h1 p2 ^ f2
|
2.18
2.5.8 ( 2.19)
, .
, .
å(a ∩ b) || (c ∩ d), ..: a || c (a1 || c1; a2 || c2) b || d (b1 || d1; b2 || d2) |
2.19
, .
:
1) ?
2) ?
3) ?
4) , R (,b) T ( ∩ b) 2.2.
5) .
6) .
7) .
8) .
9) , 2.2, .
10) ? l 2.1.
11) 2.1 .
12) ?
13) .
14) , 2.2 S(,,), R (,b), T ( ∩ b) G ( || b).
(, ), .