>>36
p.6の性質は3も同値だね、まあ、→でも間違いではないけど1は同値記号だからね