  For simplicity let us suppose that the only extralogical symbol of the base language  L  is the binary predicate symbol ∈ (the discussion is easily extended to the case in which  L  contains additional extralogical symbols). Guided by the remarks above, as coding structure for  L(κ,λ)  we take the structure,