Struktur abstrak
Struktur abstrak adalah suatu kumpulan entitas tak terdefinisi (Inggris: "undefined terms") yang didefinisikan secara umum (atau secara universal) melalui berbagai aksioma atau postulat. Contoh-contoh struktur abstrak adalah konsep group, gelanggang (Inggris: "ring"), ruang vektor (atau ruang linear), konsep garis, konsep titik, dan sebagainya.
Bahkan sebuah bilangan asli pun sebenarnya adalah sebuah konsep abstrak walaupun biasanya diasumsikan bahwa setiap orang secara intuitif 'sudah tahu' dan sudah 'cukup mengenal' bilangan asli sehingga tak perlu lagi diajar, diberitahu atau sekadar diperkenalkan dengan definisi formal bilangan asli.
Salah satu cara memperkenalkan konsep himpunan semua bilangan asli sebagai sebuah struktur abstrak adalah melalui aksioma Peano (sebagai ilustrasi, lihat).
Sekitar tahun 325-265 sebelum Masehi, Euklid dari Elexandria dalam "Elements" sudah mendefinisikan konsep abstrak 'bidang datar' melalui lima aksioma (ditulis sedekat mungkin dengan konsep aslinya) sebagai berikut:
Ruang vektor juga merupakan sebuah konsep abstrak. Kebanyakan mahasiswa dan siswa hanya mengenal konsep vektor dalam ruang real Euklid berdimensi 3, yaitu kumpulan semua bentuk ("x,y,z") dg "x, y" dan "z" adalah bilangan-bilangan real. Padahal bilangan real sendiri bisa juga disebut sebagai sebuah vektor.
Contoh ruang vektor yang agak asing adalah himpunan kuasa "P"(H) yang berunsurkan semua himpunan bagian dari suatu himpunan H sedangkan H sendiri adalah suatu himpunan yang tak kosong, yang berukuran "m" (jadi H adalah himpunan hingga) dan dilengkapi dengan operator selisih simetri (Inggris: "symmetric difference").
Ruang vektor dalam paragraf di atas ekuivalen dengan kode Reed-Muller "R (m,m"), salah satu kode dalam "coding theory" yang sudah lama dipelajari dan diselidiki. Kode "R (m,m)" berisi semua vektor-vektor biner ("binary vectors") yang terdiri atas "n" = 2"m" bit (singkatan dari "binary digits").
Antara tahun 1969 dan 1977, bentuk kode Reed-Muller yang lain, terutama kode "R"(1.3), digunakan oleh pesawat ruang angkasa Mariner untuk mengirim data ke bumi (http://www.ams.org/featurecolumn/archive/errors6.html). Konsep kode Reed-Muller sangat erat berkaitan dengan konsep Geometri Euklid berdimensi "m" yang ekuivalen dengan konsep Geometri Projektif berdimensi "m".
Struktur abstrak dikatakan bersifat umum atau universal sebab struktur abstrak bebas (tak tergantung) dari berbagai fenomena yang secara fisik bisa berbeda-beda, walaupun dari sekian banyak fenomena fisik ini, hanya satu-dua fenomena fisik yang mengilhami struktur abstrak tersebut. Misalnya, fenomena fisik daratan atau meja datar mungkin saja mengilhami konsep bidang datar oleh Euklid.
Sebaliknya, struktur abstrak yang sangat umum seringkali tak menjangkau sifat-sifat tambahan dan khusus dari suatu fenomena fisik atau dari struktur abstrak dengan persayaratan yang lebih banyak. Misalnya konsep umum ruang vektor tidak menjangkau sifat-sifat jarak antara dua vektor dan besar sebuah vektor dalam sebuah ruang hasil kali dalam (Inggris: "inner product space").
Jadi, ruang hasil kali dalam adalah sebuah struktur abstrak yang lebih spesifik daripada konsep umum ruang vektor yang lebih luas jangkauannya. Walaupun demikian, konsep ruang vektor bukanlah konsep yang tak bisa diperluas lagi. Sesungguhnya, struktur group adalah sebuah struktur yang lebih luas daripada konsep ruang vektor.
Di jurusan matematika banyak perguruan tinggi, group, gelanggang, ruang vektor, dan sejenisnya, biasa dipelajari dalam mata kuliah "struktur-struktur aljabar" atau dalam aljabar abstrak.