To klassiske egenskaper som typesystemer kan ha er: Preservering (eng: el. ): hvis og , så . Altså, reduksjon bevarer typen. Progresjon (eng: ): hvis , så er enten en verdi, eller så eksisterer en slik at . Altså, vel-typede termer henger ikke.