休日出勤　－「振替休日」と「代休」の違いとは？

「振替休日（振休）」と「代休」という2種類の手続きがある。両者は法律上、明確に区別されているのだが、その違いをご存じだろうか。