形式的形成訴訟
一般に、形式的形成訴訟には共有物分割の訴え(民法258条)・父を定める訴え(民法773条)・境界確定の訴えが含まれるとされる。ただし、境界確定の訴えは形式的形成訴訟ではなくむしろ所有権確認訴訟であるという説もある。