Monitahokas eli polyedri
on määritelty äärelliseksi ja yhtenäiseksi vähintään kolmen monikulmion yhdistelmäksi avaruudessa E3 siten, että jokaisen monikulmion jokainen sivu liittyy täsmälleen yhteen jonkin muun monikulmion ulkosivuun ja jokainen kärkipiste on monikulmioiden ympäröimä. Ulkosivulla tarkoitetaan aluetta rajoittavien välien ulkopuolisia sivuja. Monikulmion sivut eivät välttämättä ole lineaarisia. Monitahokas voidaan määritellä myös avaruudessa En, kun n>3.
Monitahokas on näin ollen yksinkertaisesti kappale, jota rajoittavat useat monikulmiot. Jokainen verkko, joka ei ole
epäverkko, voidaan aina kuvata isomorfisesti jollekin monitahokkaalle, jolloin solmuja, välejä ja alueita vastaavat kärkipisteet, särmät ja tahkot. Monitahokas on konveksi, jos minkä tahansa sen kahden kärkipisteen välinen yhdysjana kulkee kokonaisuudessaan monitahokkaan sisällä. Tasoverkko voidaan kuvata isomorfisesti konveksille monitahokkaalle.