Opravena axioma dvojice. (z=a alebo z=b) namiesto (z=b alebo z=c)
Oprava v tvrdeni 3.1.13(iii): Bolo tam, ze relacia je reflexivna <=> prienik R a R^-1 je id_A. Spravne ma byt, ze id_A je podmnozina tohoto prieniku.