, . .
, .
, , , , .
:
Ø ,
Ø ,
Ø .
:
M = M 1 È M 2 È È Mk, i Ç Mj = Æ i ¹ j. (4)
O 1. , x T y , x y :
(" x,y Î M) [xTy Û x,y Î M1 & x,y Î M2 & & x, y Î Mk ]. (5)
2. , x T y , x y i , , :
1. xTx true ();
2. x y Þ yTx ();
3. xTy & yTz Þ xTz ().
3. , .
({ M, T }) ( ) , .
4. S 1, S 2, , Sn , () .
5. S 1, S 2, , Sn , () . .
6. S 1, S 2, , Sn , () . .
.
. , . . , , :
, .
, , . , . - . , , , .
|
|
, . , . . .
. ( ) . , - , - .
, . (, ) , , . :
Ø ().
Ø ( ).
Ø ( ).
Ø ( ) ().
Ø ( ).
Ø - ( ) ().
Ø ( ).
Ø .
Ø ( ).
( ) , , , . , , - , , , . , , ( - ). , , .
. , Si Sj, Sj Si. ( ).
|
|
:
1. ?
2. ?
3. ? .
4. ? .
5. ?
7
1.
. , , .
, , , () (). (, , ), , . ( ) . , , , , .
, . , : 1) , ; 2) . - , .
: (), () -. , , , , : 1) ; 2) ; 3) .
. , . : , ( ); ; .
; , , 1. . ,
1
, ; : , ( ). , , , ( ) . , . , , 1, , .
|
|
.
, . . . . ; ( ) , . , (supremal) (infimal).
.
, . , .
: ) , ; ) ; ) . : , . , , , , ; , , , .
2. ( , )
, . , , (.. ) . . , . , , . , .
, , . , , . , . ; , .
|
|
, . . ( 2). , , , , . .
, .., . ,
2
3
- , ; , , , , .
, , - . : ) , ) , ) ( 3). , . , ; ; . , , , .
, . . , 4, . , , .
4 , ,
, : , . . , - .
. , .
1. , , , , , .
2. , , , , .
3. . , , . ; . .
|
|
4. , . , , ; ; . 5. , . , , , . , . , , , . , . , , , , . .
5. : , , , . , , , .. .
5 :
3. ( )
. ( , ), :
1) , ; , , .
2) , .
: , , , , . . , , - , , . 6. . (, D2) , , x2. . , , . , ( 6 D) ( ).
. , , , , . , , ,
6
. , ; , .
, .
, . : 1) , ; 2) ; 3) , . , 7, :
1. : m. () , ( ), . , , , . , G, , G P. - ( ), P:
M x U Y,
; Y ( ), U , m y. G G: M x Y V, V , .
U , .. m , : , , = G (m, P (m)) m Î M. U , ; , P G. , , U, P, G .. .