Ak je zobrazenie  z množiny  do množiny  určené vymenovaním usporiadaných dvojíc, potom sa všetky prvky množiny  musia aspoň raz vyskytnúť na druhom mieste v niektorej usporiadanej dvojici.

Ak je zobrazenie  z množiny  do množiny  určené vrcholovým grafom, potom musí ku každému prvku množiny  smerovať aspoň jedna šípka.