Mathematical logic and foundations

A structure has a unary function f and domain D. A subset A of D is proposed as the domain of a substructure. What condition is required for interpreting f within that substructure?