The Free On-line Dictionary of Computing (30 December 2018):

observational equivalence

   Two terms M and N are observationally equivalent iff for all
   contexts C[] where C[M] is a valid term, C[N] is also a valid
   term with the same value.