O pacto antenupcial é um contrato celebrado entre os noivos antes do casamento, que tem como principal objetivo definir o regime de bens que será adotado durante a união. Analisando as alternativas: a) Opção obrigatória para casamento - Não é obrigatório, é uma opção. b) Contrato que define regime de bens - Correto, essa é a função principal do pacto antenupcial. c) Prova de união estável - Não é a função do pacto antenupcial. d) Contrato de guarda compartilhada - Não se relaciona com o pacto antenupcial. Portanto, a alternativa correta é: b) Contrato que define regime de bens.