资料来源 : Free On-Line Dictionary of Computing

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.