Definition: (right Ikeda-Nakayama) The left annihilator of the intersection of two right ideals, is the sum of their left annihilators