quasirecursive relation

Мат. квазирекурсивное отношение