recursive equivalence

Мат. рекурсивная эквивалентность