teorema de equivalencia

:=
:=
:=
≠
⊆
⊆
!
"
# $
$
⊆
=
&
&
%
!
!
!
!
#
#
'
%
&
%⊆
!
!
!
!
#
⊆ &
%&
%
() →)
&% +
#
()→)
& %+
#
≤ ≤
π () →)
π & %+
#
#
& * *
#
& * *
≥
& * *
(=
%
(=
(= %
%
⊆ &
,
∈
- *
&
%&
%
≥
%*
*
/
#
$0
& *
* !%
#
$
!(
(=
(=
∈ &
%
$
#
#
* & % + & & %* & %* . *
#
*.*
&
&
*.*
*.*
(= & * . *
(= &
*.*
%
%
%
%
& %% *
⊆ &
≥ *
,
/
%&
∈
&
#
∈
%*
%
&
%
$
#
#
& * %=
!(
$ #
#
(= & * . * %
"
(= & * . * *
1 (=
1
(=
#
*
=
& %
& *
− * & *
&
1*
− %%
*
%
1* !%
>
⊆ &
≥ *
,
/
#
∈
#
%&
&
'
$ #
& * 444 *
(=
!(
(=
'
%
%
$
#
# & % $ µ"2 & %"%$ 3 *
& *
* !%
*
#
*
%≠
%⊆
&
)∈)
$ *
,
&
4
# "
& '" (%
*
*
*
#
5&
'" ( ) → ) * '" &)* %
!0
*
≤ ≤*
'" & ) * % =
σ *+ * & )%
σ *+ * & )%
#
'"
$ %-
#
=
=
444
σ *+ * *+ & )%
*
= *+
%⊆
&
&
( )1 → ) *
6
%
'
& )* * '% =
&
&)* *'%
# '
4
# "
(%
$
)
#
σ * + & '* '" & ) * %*444* '" & ) * * + %%
σ * + & '" & ) * %* '* '" & ) *1%*444* '" & ) * * + %%
#
=
=
444
σ * + & '" & ) * %*444* '" & ) * * %* '%
#
&
$0
= *+
%⊆
&
&
# " ( )1 → ) * # " &)* *'%
&
6
%
# '
'*
#
#
4
# " & ) * * '% =
4
# "
&# " (%
$
)
&
#
≠ %
σ * + & '* '" & ) * %*444* '" & ) * * + %%
σ * + & '" & ) * % + * '* '" & ) *1%*444* '" & ) * * + %%
=
=
444
σ * + & '" & ) * % + * '" & ) * %*444* '" & ) * * %* '%
#
#
# "
$0
= *+
%⊆
&
&
! +, %
'" & )* % =
)
& )%
'" & )* % =
& )%
'" & )* % =
! +, & ) % = 444
'" & )* % ≥
)
+
6
#
,*#
&
! +,
$0
%
%⊆
&
&
5
:
:
:
:
:=
:=
:=
:=
-
−
& )% =
& )% =
%
6
&)% = #
&)% = #
&)% = #
&)% = #
"
"
"
"
*
*
*
*
%
'" &)* '" &)*
'" &)*
'" & )% + % ≠
& )% % . + %
& )% % + %
&)*
&)*
&)*
&)*
:
& )% % + %
& )% % . + %
#
: 7
%%
%
%
%− %
≠
: 7
5
'" & )% + % =
:
, -
&$
8
-
%
'" & )% + % ≠
'" & )% + % =
59
:;-
%⊆
&
<
&
/
,%
, = & * ** %
#
*
#
/
,
#
'∈
#
(
σ * + & * '%
/ , & '* 0 % =
! +, & / , & '* 0 − %%
$
= #
=
#
#
/
,
$0
0=
0>
*
*
&
<
%⊆
&
1, %
, = & * ** %
#
&* − %
'
* '∈
1, #
*#
(
1, & ' % = µ"2 '" & / , & '* * " %* % =
5
#
1,
$0
6
+ 3
#
-
%⊆
&
<
&
,%
, = & * ** %
#
* '∈
&* − %
(
#
*#
,
#
, & ' % = '" & / , & '* * 1, & ' %%* %
5
#
,
#
$0
#
#
6
-