Будем руководствоваться ст. 138 ГПК РФ, так как представления о встречных исках в различных догматиках различаются, хотя между ними есть и нечто общее. Это, кстати, интересно было бы рассмотреть отдельно.
Предположим, что имеется иск
Ψ{а₁, а₂, b}[β₁(а₁, а₂, b), β₂(а₁, а₂, b)] → ε(а₁, а₂),
тут
а₁, а₂, b — субъекты процесса (участники);
β₁(а₁, а₂, b), β₂(а₁, а₂, b) — некоторые обстоятельства, которые связывают участников процесса;
ε(а₁, а₂) — требование о расторжении договора S между а₁, и а₂.
Но тут появляется субъект b, который заявляет иск
Φ{b, а₁, а₂}[γ₁(b, а₁, а₂), γ₂(b, а₁, а₂), β₂(а₁, а₂)] → ρ(а₁, а₂),
где
b, а₁, а₂ — субъекты процесса (участники);
γ₁(b, а₁, а₂), γ₂(b, а₁, а₂), β₂(а₁, а₂, b) — некоторые обстоятельства, которые связывают участников процесса;
ρ(а₁, а₂) — требование о признании недействительным договора S между а₁, и а₂.
Да, b вступает в дело в качестве третьего лица, заявляющего самостоятельные требования относительно предмета иска, однако
вопрос:
является ли иск Φ встречным по отношению к Ψ: Ψ ↞ Φ?