!
"# $
∈
%
!
%"
!
%"
∉
%
!
%"
&
∉
%
!
%"
% ' (
)*
+
!%
*"
,
$
.
%
$
9
% ' .
⇔
%
⊆
⊆
⊆
⊆
.#
∧
∧
∧
∧
.
⊆
⊆
⊆
⊆
%#
%
⊆
⊆
⊆
⊆
.#
∧
∧
∧
∧
.
⊆
⊆
⊆
⊆
2#
⇒
%
⊆
⊆
⊆
⊆
2
D
#
I
8
<
%
∪
. ' (> ? >
∈
%
∨
>
∈
.+
2
% ' (
+ . ' (
4
+
%
∪
. ' (
4
+
)0
M
<
%
∩
. ' (> ? >
∈
%
∧
>
∈
.+
I
& & & && && && && &&
I
4
4
$
-
9
O
$
!
#
$ %
&'
( ) *+ ,+ -+ .+ / 0 ( 1
( ) /+ 2.+ 2-+ 2,+ *+ ,+ -+ .+ / 0 ( 1 1
$ '
( ) ,+ -+ .+ / 0 ( 3
( ) ,+ -+ .+ / 0 ( 3
( ) 45 6 ∈∈∈∈ + 5 ∈∈∈∈ + 5 ≠≠≠≠ * 0 ( 1
8 1 8
; ! < 8 28 ! $ '2 8
8 1 8 8 6 $ '6 (
-# ( ) + 1+ 0
$ ' ( ) ) 0+ ) 0+ )10+ ) 0+ ) + 10+ ) + 0+ )1+ 0+ ) + 1+ 0 0
7 8 9 8 +
8
, 7 8 9
- 7 ∪∪∪∪ 9 ( ) % 6 % ∈∈∈∈ 7 ∨∨∨∨ % ∈∈∈∈ 9 0
. 7 ∩∩∩∩ 9 ( ) % 6 % ∈∈∈∈ 7 ∧∧∧∧ % ∈∈∈∈ 9 0
: ! 7 ∩∩∩∩ 9 ( ) 0 ! 7 8 9 8 1
: ! 7 ∩∩∩∩ 9 ( ) 0 ! 7 8 9 8 1
& 7 > 9 ( ) % 6 % ∈∈∈∈ 7 ∧∧∧∧ % ∉∉∉∉ 9 0
? 7 ( ) % 6 % ∉∉∉∉ 70 ( " > 7+ 8 " (
!
!
" (
1
(
; !
%
∈
∈
∈
∈
8
!
8
1 B,C
8
%
∉
∉
∉
∉
8
!
8
1 B*C
#
" ( ) ,+ -+ .+ &+ ?+ @+ D+ E+ F+ ,* 0
( ) ,+ .+ ?+ D+ F 0
#
" ( )
3 ! 0
( ) + + + +
0
7 ( ) ! 0
9 ( ) ! 0
# ( ) ! 0
67 ∪∪∪∪ 9 ∪∪∪∪ #6 ( 676 696 6#6 > 67 ∩∩∩∩ 96 > 67 ∩∩∩∩ #6 > 69 ∩∩∩∩ #6
67 ∩∩∩∩ 9 ∩∩∩∩ #6
( @& F& ?E > -@ > -E > -- ,& ( ,?&
( @& F& ?E > -@ > -E > -- ,& ( ,?&
I 8 ! 8 ! ! ! : ! 1