Polytooppi on euklidisen avaruuden osajoukko, joka voidaan esittää äärellisen määrän yksinkertaisten liittona .