Struktur abstrak: Perbedaan antara revisi

# Setiap [[ruas garis lurus]] dapat diperpanjang sampai tak hingga menjadi [[garis lurus]] penuh.

# Diberikan sebuah ruas garis lurus, maka ada sebuah lingkaran yg salah satu jari-jarinya adalah ruas garis tersebut dan yang pusat lingkarannya adalah salah satu dari kedua ujung ruas garis tersebut.

# (Postulat kesejajaran). Jika dua ruas garis memotong garis ketiga sedemikian rupa sehingga jumlah kedua sudut dalam dari satu pihak yang terbentuk kurang dari jumlah dua sudut tegak (maksudnya kurang dari 90 + 90 = 180 derajat. Penyunting), maka kedua ruas garis tersebut pasti akan berpotongan, asalkan kedua ruas garis tersebut cukup panjang.

 

Contoh [[ruang vektor]] yang agak asing adalah [[himpunan kuasa]] ''P''('''H''') yg 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'').

 

''R(m,m''), salah satu kode dalam ''coding theory'' yg sudah lama dipelajari dan diselidiki. Kode ''R(m,m)'' berisi semua vektor-vektor biner (''binary vectors'') yg terdiri atas ''n'' = 2^''m'' [[bit]] (singkatan dari ''binary digits'').

 

==Kode Reed-Muller==

 

==Bersifat umum==