形成之訴

形成之訴是指原告請求法院運用判決變動已成立或既存的民事關係（或民事權利）或者特定的法律事實之訴。

民事訴訟法學概念，指某些形成權的行使，需要提其訴訟，由法院作成判決才能使法律關係發生、內容變更或消滅，該類訴訟即為形成之訴。

形成之訴，是依據判決使權利關係及法律關係發生變動之類型的訴訟。承認這種請求的判決被稱為形成判決，而使權利關係及法律關係發生變動的效力就是形成力，在觀念上這種判決並沒有相對應的強制執行內容，不過，諸如戶籍登記等廣義的執行則另當別論，換言之，形成判決不具有“僅限於民事執行法講義意義上”的強制執行之內容。