Symbols:Abbreviations/A

AC

 * The axiom of choice.

Same as AoC.

ACC

 * The ascending chain condition.

AoC

 * The axiom of choice.

Same as AC.