Un sous polytope de dimension k est donné par un espace Ek et tous ses espaces incidents Ek' avec k' < k