Property: (right/left) ACC annihilator

Definition: (right ACC annihilator) Ascending chain condition on right annihilators=Descending chain condition on left annihilators