解除收养关系确实属于形成之诉。以下是对这一结论的详细解释：

形成之诉的定义

形成之诉，又称为变更之诉，是指当事人请求人民法院改变或消灭其与对方当事人之间现存的民事法律关系的诉讼。这种诉讼类型旨在通过法院的判决来变动或消灭特定的法律状态或权利义务关系。

解除收养关系与形成之诉的关系

1. 法律关系的变动：在解除收养关系的诉讼中，原告（无论是送养人、收养人还是养子女）希望消灭的是收养双方之间的收养关系及因此产生的父母子女权利义务关系。这正好符合形成之诉中“变动或消灭一定法律状态（权利义务关系）”的定义。

2. 诉讼目的：解除收养关系的诉讼目的在于通过法律程序来终结现有的收养关系，并可能引发一系列后续的法律后果，如养子女与养父母及其他近亲属间权利义务关系的消除，以及与生父母间权利义务关系的恢复等。这些后果都是基于收养关系的解除而产生的，进一步体现了形成之诉的特点。

3. 法律依据：根据《中华人民共和国民法典》的相关规定，收养关系可以在特定条件下通过诉讼程序解除。这提供了法律上的依据，支持了解除收养关系属于形成之诉的观点。

解除收养关系诉讼的特殊性

虽然解除收养关系属于形成之诉，但这类诉讼也具有一定的特殊性。例如，当事人在起诉时除要求解除收养关系外，还可能提出财产分割、经济补偿或赔偿等请求。在这种情况下，该诉讼可能同时包含给付之诉的元素，即要求对方履行一定的给付义务。然而，这并不改变解除收养关系本身作为形成之诉的性质。

实际操作中的注意事项

在实际操作中，当事人提起解除收养关系的诉讼时，应明确自己的诉讼请求，并准备好相应的证据材料。法院在审理此类案件时，会综合考虑收养关系的实际情况、双方当事人的意愿以及法律的规定，来作出是否解除收养关系的判决。

总结来看，解除收养关系属于形成之诉，因为它涉及当事人之间法律状态（权利义务关系）的变动或消灭。如果你在解除收养关系方面有任何疑问或需要进一步的法律帮助，请随时向我咨询。