Intuitively this means that if T(x) is interpreted as, the interpretation agrees with the interpretation by in all cases where the latter is defined; the only difference is that an interpretation by may lead T(x) to be defined for some cases where it was undefined when interpreted by.