Wiktionary
pyrrolidinium
n. (context organic chemistry English) A cation formed by protonation of a pyrrolidine