For all $b,c\: \epsilon\: R$ and $a=b\Rightarrow ac=bc\:\wedge \:ca=c(b)$ this property is called