Alternative Names
Weakly equal, temporally weakly equal, weak equivalence.