休日出勤の代わりに、あらかじめ決めた別の労働日を休日にすることを何というか。

事前に休日を入れ替えるのが「振替」、事後に休みを与えるのが「代休」であり、割増賃金の扱いが異なる。