universalidad

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