式で定義されている図形の多くは多様体となる。