一、解除合同是什么诉。1、解除合同属于形成之诉。解除合同属于对双方的合同进行变更处理的诉讼行为。形成之诉，又称为变更之诉或者创设之诉，是原告请求法院变更某一法律关系之诉。法律设立形成之诉的目的主要是使法律状态的变动效果不仅对当事人发生效力，而且对第三人也发生法律效力，所以形成之诉必须在法律有特别规定的情形下才可以提起。2、法律依据：《中华人民共和国民法典》第五百三十三条。合同成立后，合同的基础条件发生了当事人在订立合同时无法预见的、不属于商业风险的重大变化，继续履行合同对于当事人一方明显不公平的，受不利影响的当事人可以与对方重新协商；在合理期限内协商不成的，当事人可以请求人民法院或者仲裁机构变更或者解除合同。人民法院或者仲裁机构应当结合案件的实际情况，根据公平原则变更或者解除合同。