To me, “redundancy” means someone you don’t need, as in, their job is worthless, and “layoff” means the company can’t afford to keep everyone, so they’re temporarily reducing the workforce. What we see so often isn’t either of those, it’s just headcount reduction or downsizing.