Structure( Cont Definition A structure A for a language l consists of nonempty domain A o an assignment to each n-ary predicate symbol r of L, of an actual predicate r on the n-tuples n) from A O an assignment, to each constant symbol c of L, of an element cA of A and, to each n-ary function symbol f of L o an n-ary function fa from an to AStructure(Cont.) Definition A structure A for a language L consists of 1 a nonempty domain A, 2 an assignment, to each n-ary predicate symbol R of L, of an actual predicate R A on the n-tuples (n1, n2, . . . , an) from A, 3 an assignment, to each constant symbol c of L, of an element c A of A and, to each n-ary function symbol f of L, 4 an n-ary function f A from A n to A. Yi Li (Fudan University) Discrete Mathematics May 29, 2012 8 / 27