A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus