たとえば群の単位元なんていうのがわかりやすい例だと思う：

∃e∈G；　∀x∈G，　x=x*e=e*x

これを右から読むと

x*e=e*x=x
となるすべてのxに対して
eが存在する