9
Partial Isomorphism
•
Let
c
= (c
1
, …, c
n
) be the constants in
s
•
Let A, B be two structures in STRUCT[
s
]
•
•
Definition
A partial isomorphism is given by
a
= (a
1
, …, a
m
) and
b
= (b
1
, …, b
m
) s.t.
the
structures (
a
,
c
) and (
b
,
c
) are isomorphic.