>>201
関数型言語のように、次ステップにおける同値性を宣言的に述べた述語という解釈もできるわけで。
で、そういった解釈をしても、参照の初期化のように同期的に同値性を維持していないと普通の数式における
＝とは近くはならないよ、というような話では？あってるんだか間違ってるんだかは知らんけど。

しかし実際のトコC++の参照は実体が１つなんだから、同値性を維持するも何も同値に決まってる。