, £ ».
() = º £ Ù £ -
£ , .. :
1. £
2. £ £ = -
3. £ £ £
:
(N) Nul(A) º £ Ù "B(B £ B É A £ B) A
(I) Inf(A) º £ Ù "B(B £ B É B £ A)
(Int) Int(A) º £ Ù ùNul(A) Ù ùInf(A) -
() os() º £ Ù $( £ Ù ù( £ )) ()
(Lev) Lev(A) º os() Ú Nul(A)
(At) At(A) º os() Ù "B( £ Ù os(B) É £ )
£ £1 1- », £2 2- ».
£1 £2 , £, 1 2. :
(1) =1 º £1 Ù £1 - 1-
(N2) Nul2(A) º £2 Ù "B(B £2 B É A £2 B) A 2-
(At2) At2(A) º os2() Ù "B( £2 Ù os2(B) É £2 ) 2-
:
(AH1) £i É £ , i=1,2, - i- £
(AH2) "X(os 2(X) É $Y(os 1(Y) ÙY £ X)) Ù "X"Y(os 2(X) Ù os 1(Y) É ù(X £ Y)) 2- 1- , 1- 2-
£1 £2, - £. , 2- (2), (2) :
(2*) £1 Ð £2 - 1- 2-, Ð , (2)
2- 1- . 1- , 2- .
|
|
, 1- , 2- . , 1- £1. , 2- £2. , , .
:
(DH) () º os2(X) - 2- ,
() , .
, ():
() [H(X) Ù Pos1(Y) Ù (Y £ X)] É ù(X = Y) , Y 1- , Y .
, , .. =Y. £ Y, (2).
, , 1- .
. , Y, Z - , , . :
FinSet(X) X ( Æ)
InfSet()
:
X £ Y º X Í Y, X Í Y , Y
X £1 Y º X Í Y Ù FinSet(X) Ù FinSet(Y)
X £2 Y º X Í Y Ù (InfSet(X) Ú = Æ) Ù (InfSet(Y) Ú Y= Æ)
, 1- , 2- . (1) (2). , . , , .