O ano bissexto tem 366 dias, um dia a mais do que os anos comuns de 365 dias. O dia extra serve para compensar o movimento de translação do planeta que não corresponde a 365 dias exatos e, por conta desse pequeno atraso, alguns anos recebem este dia extra. A modificação ocorre nos anos que são múltiplos de 4 (exceto nos múltiplos de 100 que não são múltiplos de 400). Seja o conjunto dos anos múltiplos de 4 representado por B; o conjunto dos anos múltiplos de 100 representado por C; e, o conjunto dos anos múltiplos de 400 representado por Q. Dessa forma, o conjunto dos anos que são bissextos pode ser representado por: