7
Equivalences
•
Let A, B
2
STRUCT[
s
]
•
•
They are
elementary equivalent,
A
º
B,
if
8
f
, A
²
f
iff B
²
f
•
•
They are
isomorphic,
A
@
B,
if there exists a isomorphism f : A
!
B