„Einungur“: Munur á milli breytinga
Efni eytt Efni bætt við
mEkkert breytingarágrip |
|||
Lína 4:
Einungur er [[mengi]] ''S'' og tvístæð aðgerð (táknuð með •) sem fullnægja eftirfarandi [[frumsenda|frumsendum]]:
; [[Lokun]]: Fyrir öll ''a'', ''b'' í ''S'', þá er ''a'' • ''b'' í ''S''.
; [[Tengireglan|Tengni]]: Fyrir öll ''a'', ''b'' og ''c'' í ''S'' þá er (''a'' • ''b'') • ''c'' það sama og ''a'' • (''b'' • ''c'').
; [[Hlutleysa]]: Til er ''e'' í ''S'' þannig að ''e'' • ''a'' = ''a'' • ''e'' = ''a'' fyrir öll ''a'' í ''S''.
| |||