Một hình là dạng thức của một vật thể hoặc bản phác thảo, đường biên, mặt phẳng ngoài của nó, đối lập với những thuộc tính khác như màu sắc, chất liệu hay thành phần vật liệu của vật thể đó. Các nhà tâm lý học có đưa ra lý thuyết rằng về mặt trí óc, con người phân tích các ảnh thành các dạng hình học đơn giản gọi là "geon". Các ví dụ của "geon" bao gồm hình nón và hình cầu. Một số hình cơ bản có thể được xếp vào các thể loại phổ quát. Chẳng hạn, các đa giác được phân loại dựa vào số cạnh của chúng, chẳng hạn như tam giác, tứ giác, ngũ giác... Mỗi hình trên lại được phân thành các loại nhỏ hơn: các tam giác được chia làm tam giác đều, tam giác cân, tam giác vuông, tam giác nhọn, tam giác tù, trong khi các tứ giác được chia làm hình chữ nhật, hình thoi, hình thang, hình vuông... Một số hình cơ bản khác bao gồm điểm, đường, mặt phẳng và các phần của hình nón như hình elipse, hình tròn và đường parabol. Một trong những dạng hình 3 chiều phổ biến nhất là hình khối - hình có các mặt phẳng; các hình cầu, vốn có hình quả trứng hoặc hình quả cầu; hình trụ và hình chóp. Nếu một vật thể rơi vào một trong số các dạng nói trên hoặc gần giống một trong số các dạng hình đó, mọi người có thể sử dụng tên của các dạng hình để miêu tả hình dạng của vật thể đó. Chẳng hạn, nắp cống được miêu tả là một cái đĩa, bởi nó có cấu trúc hình học gần giống với cấu trúc của một hình đĩa. Có vài cách để so sánh hình của hai vật thể: Đôi khi, hai đối tượng tương đẳng hoặc đồng dạng có thể được coi là có hình dạng khác nhau nếu cần phải có sự phản chiếu để biến đổi một đối tượng khác. Ví dụ, chữ "b" và "d" là sự phản chiếu của nhau, và do đó chúng tương đẳng và đồng dạng, nhưng trong một số trường hợp, chúng không được coi là có cùng hình dạng. Đôi khi, chỉ có phác thảo hoặc ranh giới bên ngoài của vật được xem xét để xác định hình dạng của nó. Ví dụ, một quả cầu rỗng có thể được coi là có hình dạng giống như một quả cầu rắn. Phân tích Procrustes được sử dụng trong nhiều khoa học để xác định có hay không hai đối tượng có cùng hình dạng, hoặc để đo sự khác biệt giữa hai hình dạng. Trong toán học tiên tiến, cận đẳng số có thể được sử dụng như là một tiêu chí để nói rằng hai hình gần giống nhau. Các hình đơn giản thường có thể được phân loại thành các đối tượng hình học cơ bản như điểm, đường thẳng, đường cong, mặt phẳng, hình phẳng (ví dụ: hình vuông hoặc hình tròn) hoặc hình khối rắn (ví dụ: hình khối hoặc hình cầu). Tuy nhiên, hầu hết các hình dạng xảy ra trong thế giới vật lý là phức tạp. Một số, chẳng hạn như cấu trúc cây trồng và đường bờ biển, có thể đủ phức tạp để phản đối các mô tả toán học truyền thống - trong trường hợp đó chúng có thể được phân tích bằng hình học vi phân, hoặc thành các phân dạng. Hai hay nhiều đối tượng nếu có thể được biến đổi thành hình còn lại bằng các phép biến đổi theo khuôn và phép lật (nhưng không phải phép thu phóng tỉ lệ) thì có tính tương đẳng với nhau. Do đó một đối tượng tương đẳng với hình ảnh phản chiếu của nó (ngay cả khi nó không đối xứng), nhưng không phải với một phiên bản thu phóng. Hai đối tượng tương đẳng luôn có hình hoặc hình phản chiếu giống nhau, và có kích thước giống nhau. Các đối tượng có hình hoặc hình phản chiếu giống nhau thì có tính đồng dạng, dù cho chúng có thể không cùng kích thước. Vì thế, hai hay nhiều đối tượng nếu có thể được biến đổi thành hình còn lại bằng các phép biến đổi theo khuôn, đồng dạng và thu phóng thì có tính đồng dạng với nhau. Sự đồng dạng được giữ nguyên khi một trong các đối tượng được thu phóng đúng tỷ lệ kích thước, trong khi sự tương đẳng thì không như vậy. Vì thế, các hình tương đẳng thì đồng dạng, nhưng các hình đồng dạng thì không tương đẳng, vì chúng có thể không cùng kích thước. Một định nghĩa linh hoạt hơn của khái niệm "hình" có tính đến thực tế rằng các hình dạng trong cuộc sống thường có thể bị biến dạng, ví dụ: một người ở các tư thế khác nhau, một cây uốn cong trong gió hoặc một bàn tay với các vị trí ngón tay khác nhau. Một cách để mô hình hóa các chuyển động không theo khuôn là dựa vào phép đồng phôi. Theo nghĩa rộng, phép đồng phôi là một quá trình kéo dài và uốn cong liên tục của một đối tượng thành một hình mới. Như vậy, một hình vuông và một vòng tròn có chung một "phôi" với nhau, nhưng một quả cầu và một bánh rán thì không. Một trò đùa toán học thường xuyên được nhắc đi nhắc lại là việc các nhà nghiên cứu thuộc tính hình học không thể phân biệt tách cà phê của họ với một chiếc bánh rán, vì một chiếc bánh rán dẻo có thể được định hình lại thành dạng cốc cà phê bằng cách tạo ra một cái lõm và dần dần mở rộng nó, trong khi vẫn giữ được lỗ bánh rán trong tay cầm của cái cốc. Các định nghĩa toán học về hình có khuôn và không có khuôn đã xuất hiện nhiều hơn trong lĩnh vực phân tích hình theo phương pháp số liệu. Cụ thể, trong phân tích Proscutes, các nhà khoa học so sánh các hình có cùng một dạng giống nhau (chẳng hạn như xương của các loài động vật khác nhau), hoặc đo độ biến dạng của một vật thể có thể biến dạng. Các phương pháp khác được thiết kế để làm việc với những hình không có khuôn (có thể uốn cong), chẳng hạn như trong trường hợp cần khôi phục lại tư thế của một hình độc lập. Các hình đồng dạng có cùng hình dạng với nhau. Các hình này có thể được phân loại sử dụng các số phức, theo một phương pháp được đề xướng bởi J.A. Lester và Rafael Atzy. Chẳng hạn, một tam giác đều có thể được diễn đạt bởi các số phức 0,1, (1 + i √3)/2 để thể hiện các góc. Lester và Atzy gọi tỉ lệ formula_1 là hình của tam giác formula_2. Khi đó, "hình" của tam giác đều sẽ là (0–(1+ √3)/2)/(0–1) = (1 + i √3)/2 = cos(60°) + i sin(60°) = exp(i π/3). Đối với bất kỳ phép biến đổi cận nào của mặt phẳng phức, formula_3, tam giác sẽ được biến đổi mà không làm thay đổi hình dạng. Vì vậy nên hình là một bất biến của hình học cận. Hình p = S("u,v,w") phụ thuộc vào thứ tự của các đối số của hàm S, nhưng các hoán vị dẫn tới các giá trị liên quan. Chẳng hạn, formula_4. Tương tự, formula_5. Ghép các hoán vị lại, ta có formula_6. Ta lại có formula_7. Các đẳng thức này là "luật quy đổi" đối với hình của một tam giác. Hình dạng của tứ giác được kết hợp với hai số phức "p, q." Nếu tứ giác đó có các đỉnh "u.v.w.x" thì "p = S(u.v.w)" và "q = S(v,w,x)". Artzy đã chứng minh bốn mệnh đề dưới đây về các hình tứ giác: Một đa giác ("z1, z2..., zn)" có hình được xác định bởi n - 2 số phức "S(zj, zj+1, zj+2)", j = 1..., n-2. Hình đa giác bao bọc một tập lồi khi tất cả các tập tính thông thường của hình được minh họa bởi các thành phần thực tế.