  The elements of A are the elements of dom(A). Likewise the cardinality or power of A is the cardinality of its domain. Since we can recover the signature K from the first-order language L that it generates, we can and will refer to structures of signature K as L-structures. We think of c as a name for the element cA in the structure A, and likewise with the other symbols.