A legal procedure declaring a marriage null and void, as though it never existed. Different from divorce, based on specific grounds present at the time of marriage (e.g., fraud, bigamy).