Tendo a mesma forma é uma relação de equivalência, e, portanto, uma matemática precisa de definição da noção de que a forma pode ser dada como sendo uma classe de equivalência de subconjuntos de um espaço Euclidiano de ter a mesma forma.