无效婚姻的定义和情形

无效婚姻，又称违法婚姻，是指男女双方虽然办理了结婚证，但由于违反了法律规定的结婚要件，导致其结合不具备法律效力。

无效婚姻的情形

根据《中华人民共和国婚姻法》第十条，无效婚姻的情形包括：

1. 重婚的情况；
2. 有禁止结婚的亲属关系的情况；
3. 婚前患有医学上认为不应当结婚的疾病，婚后尚未治愈的情况；
4. 未达到法定婚龄的情况。

宣告婚姻无效的程序和主体

对于无效婚姻的当事人，可以向法院申请宣告婚姻无效。

根据婚姻法第十条的规定，有权向人民法院申请宣告婚姻无效的主体包括婚姻当事人及利害关系人。利害关系人包括：

1. 以重婚为由申请宣告婚姻无效的，为当事人的近亲属及基层组织。
2. 以未达到法定婚龄为由申请宣告婚姻无效的，为未达法定婚龄者的近亲属。
3. 以有禁止结婚的亲属关系为由申请宣告婚姻无效的，为当事人的近亲属。
4. 以婚前患有医学上认为不应当结婚的疾病，婚后尚未治愈为由申请宣告婚姻无效的，为与患病者共同生活的近亲属。

然而，如果当事人依据婚姻法第十条的规定向人民法院申请宣告婚姻无效时，发现法定的无效婚姻情形已经消失，人民法院将不予支持该申请。