processes that only behave similarly up to unobservable steps. See also Abuse of notation Adequality All other things being equal Essentially unique List of mathematical jargon Modulo Quotient group Quotient set Synecdoche References Further reading Up-to Techniques for Weak Bisimulation Mathematical terminology