Verkon G
aliverkko on verkko, jonka kaikki solmut kuuluvat joukkoon v(G) ja kaikki välit kuuluvat joukkoon e(G), kun v(G) ja e(G) ovat verkon G solmu- ja välijoukot. Verkkoa G kutsutaan vastaavasti kaikkien aliverkkojensa yliverkoksi. Verkon aliverkko virittää verkon mikäli se sisältää kaikki verkon solmut.