Addisjon av en vilkårlig størrelse på begge sider av likhetstegnet, Subtraksjon av en vilkårlig størrelse på begge sider av likhetstegnet, Multiplikasjon med en vilkårlig størrelse ulik null på begge sider av likhetstegnet, Divisjon med en vilkårlig størrelse ulik null på begge sider av likhetstegnet, Bruk av vilkårlig injektiv funksjon på begge sider av likhetstegnet.