Maybe that's the dictionary definition, but in common parlance, everybody uses "pension" in the sense of distinguishing it from a 401(k) or other tax-advantaged

Maybe that's the dictionary definition, but in common parlance, everybody uses "pension" in the sense of distinguishing it from a 401(k) or other tax-advantaged savings/investment account.