Petryshyn is a founder and principal developer of the theory of approximation-proper (A-proper) maps, a new class of maps which attracted considerable attention in the mathematical community.
Petryshyn ay isang tagapagtatag at developer ng mga punong-guro ang mga teorya ng approximation-tamang (A-tamang) ng mga mapa, isang bagong uri ng mga mapa na attracted marami pansin sa ang matematika komunidad.