theorem
:: WAYBEL29:17
for
S
,
T
being non
empty
up-complete
Poset
for
f
being
Function
of
S
,
T
holds
(
f
is
isomorphic
iff
Sigma
f
is
isomorphic
)