Pembatalan perkawinan
Pembatalan perkawinan, dalam lingkup Gereja Katolik terkadang disebut anulasi (), adalah suatu prosedur hukum untuk menyatakan bahwa suatu perkawinan/pernikahan batal dan tidak berlaku (atau batal demi hukum). Tidak seperti perceraian, anulasi umumnya bersifat retroaktif, yang berarti bahwa suatu perkawinan yang dianulasi dianggap tidak valid sejak awal seolah-olah tidak pernah terjadi (meskipun beberapa yurisdiksi menyatakan bahwa perkawinan hanya tidak berlaku dari tanggal anulasi tersebut; sebagai contoh adalah kasus dalam pasal 12 di Inggris dan Wales).
Dalam terminologi hukum, anulasi menjadikan suatu perkawinan yang tidak sah ataupun suatu perkawinan yang sah (perkawinan yang dapat dibatalkan) dianggap tidak ada (atau batal).
Dalam hukum kanon Gereja Katolik, anulasi atau pembatalan perkawinan secara tepat disebut "Pernyataan Nulitas" karena, menurut doktrin Katolik, perkawinan dari orang-orang yang telah dibaptis adalah suatu sakramen sehingga, sekali disempurnakan (terjadi persetubuhan) dan karenanya dikonfirmasi, tidak dapat dibubarkan selama kedua belah pihak masih hidup di dunia ini. "Pernyataan Nulitas" bukan pembubaran atas suatu perkawinan, tetapi sekadar temuan secara hukum bahwa tidak pernah terjadi suatu perkawinan yang valid/sah. Hal ini dapat dianologikan dengan temuan bahwa suatu kontrak penjualan tidak valid, dan karenanya properti yang dijual harus dianggap tidak pernah dialihkan secara hukum menjadi kepemilikan orang lain. Di sisi lain, perceraian dipandang sebagai pengembalian properti tersebut setelah suatu penjualan yang terwujud/terlaksana.
Takhta Suci dapat memberikan dispensasi atas perkawinan "ratum sed non consummatum" karena, meski telah diratifikasi ("ratum") tetapi belum disempurnakan ("sed non consummatum"), tidak benar-benar tak terpisahkan. Namun, perkawinan kodrati yang valid tidak dianggap sebagai suatu sakramen jika salah satu pihak belum dibaptis. Pada keadaan-keadaan tertentu, perkawinan dapat dibubarkan dalam kasus privilegium Paulinum dan privilegium Petrinum, tetapi hanya demi kebaikan rohani yang lebih tinggi dari salah satu pihak.
Meskipun dengan demikian anulasi merupakan suatu pernyataan bahwa "perkawinan tidak pernah ada", Gereja mengakui bahwa hubungan tersebut adalah suatu perkawinan putatif, yang mengakibatkan adanya "kewajiban-kewajiban kodrati". Dalam Kitab Hukum Kanonik 1983, anak-anak yang dikandung atau dilahirkan baik dari perkawinan yang valid ataupun putatif dipandang legitim/sah, dan anak-anak yang tidak legitim dilegitimasi oleh perkawinan putatif orang tua mereka, sebagaimana oleh perkawinan yang valid.
Kondisi-kondisi tertentu diperlukan demi validitas ikatan perkawinan sesuai hukum kanon. Ketiadaan salah satu kondisi tersebut menjadikan suatu perkawinan tidak valid dan merupakan dasar hukum untuk suatu pernyataan nulitas. Dengan demikian, terlepas dari halangan-halangan yang menggagalkan yang disebutkan di bawah, terdapat klasifikasi rangkap empat kecacatan ikatan perkawinan: cacat forma (tata peneguhan), cacat konsensus, cacat kemauan, cacat kapasitas. Untuk anulasi, diperlukan bukti adanya salah satu cacat tersebut, karena hukum kanon mengandaikan bahwa semua perkawinan valid sampai terbukti sebaliknya.
Hukum kanon menetapkan halangan-halangan perkawinan. Suatu "halangan yang menggagalkan" menghalangi pernikahan dari keterikatan secara valid, kendati terdapat juga halangan "prohibitive" yang menjadikan suatu perkawinan valid tapi tidak licit. Persatuan seperti demikian disebut perkawinan putatif. Perkawinan yang tidak valid dapat divalidasi, baik dengan validasi sederhana (pembaruan kesepakatan untuk menggantikan kesepakatan yang tidak valid) atau dengan "sanatio in radice" ("penyembuhan pada akar", dispensasi retroaktif dari suatu halangan yang menggagalkan). Beberapa halangan dapat diberikan dispensasi, sementara yang "de jure divino" (dari hukum ilahi) tidak dapat.