Ja, Tor ist die Abkürzung für „The Onion Router“. Im Zusammenhang mit „Tor über VPN“ oder „Onion über VPN“ sind sie also dasselbe. Verwechsle es nicht mit „.onion“-Webseiten, die dunkle Webseiten sind, auf die nur Tor-Browser zugreifen können.