Криптографический примитив, пара перестановок $f$ и $g$, для которых вычислительно трудно найти аргументы $x,y$ такие, что $f(x)=g(y)$. В криптологии формализуется как семейство пар перестановок с трудно обнаружимыми зубцами. Гипотеза о существовании таких семейств относится к категории общих криптографических предположений.