Noun
arenium ion (plural arenium ions) (organic chemistry) Any cation formed by the addition of a proton or other cationic species to an arene.