8
Model or
s
-Structure
A = <A, R
1
A
, …, R
n
A
, c
1
A
, …, c
m
A
>
STRUCT[
s
] = all
s
-structures
