A pension also means different things depending on where you are.

In my country, your pension comes from multiple parts. The national pension has a "citizens pension" portion that everyone gets, then the next bit depends on how many years you worked. Then there's something that's sort of our equivalent of a 401k and that's called a voluntary pension fund.

I'd never heard of a pension being paid by your employer until I started hanging out online. Seemed ridiculous, as they could just go out of business or something.