ok   * Definition 29 (p. 19)  ->  Definition 29 (p. 20)   similarity 1.00
ok     Definition 177 (p. 35)  ->  Definition 177 (p. 36)   similarity 1.00
ok     Definition 184 (p. 35)  ->  Definition 184 (p. 36)   similarity 1.00
ok     Definition 185 (p. 35)  ->  Definition 185 (p. 36)   similarity 1.00
ok   * Definition 248 (p. 46)  ->  Definition 248 (p. 47)   similarity 1.00
ok     Definition 250 (p. 46)  ->  Definition 250 (p. 47)   similarity 1.00
ok   * Definition 256 (p. 47)  ->  Definition 256 (p. 48)   similarity 1.00
ok   * Definition 257 (p. 47)  ->  Definition 257 (p. 48)   similarity 1.00
ok   * Definition 265 (p. 48)  ->  Definition 265 (p. 49)   similarity 1.00
ok   * Definition 270 (p. 48)  ->  Definition 270 (p. 49)   similarity 1.00
ok   * Obvious 274 (p. 49)  ->  Obvious 274 (p. 50)   similarity 1.00
ok   * Proposition 388 (p. 69)  ->  Proposition 388 (p. 70)   similarity 1.00
ok   * Definition 405 (p. 73)  ->  Definition 405 (p. 74)   similarity 1.00
ok   * Definition 408 (p. 73)  ->  Definition 408 (p. 74)   similarity 1.00
ok     Obvious 409 (p. 73)  ->  Obvious 409 (p. 74)   similarity 1.00
ok   * Remark 410 (p. 73)  ->  Remark 410 (p. 74)   similarity 1.00
ok   * Definition 413 (p. 73)  ->  Definition 413 (p. 74)   similarity 1.00
ok   * Definition 419 (p. 73)  ->  Definition 419 (p. 74)   similarity 1.00
ok     Definition 426 (p. 75)  ->  Definition 426 (p. 76)   similarity 1.00
ok     Proposition 430 (p. 75)  ->  Proposition 430 (p. 76)   similarity 1.00
ok   * Proposition 434 (p. 75)  ->  Proposition 434 (p. 76)   similarity 1.00
ok     Obvious 435 (p. 75)  ->  Obvious 435 (p. 76)   similarity 1.00
ok     Obvious 436 (p. 75)  ->  Obvious 436 (p. 76)   similarity 1.00
ok     Proposition 437 (p. 75)  ->  Proposition 437 (p. 76)   similarity 1.00
ok     Definition 438 (p. 76)  ->  Definition 438 (p. 77)   similarity 1.00
ok     Definition 443 (p. 76)  ->  Definition 443 (p. 77)   similarity 1.00
ok     Definition 458 (p. 77)  ->  Definition 458 (p. 78)   similarity 1.00
ok   * Obvious 459 (p. 77)  ->  Obvious 459 (p. 78)   similarity 1.00
ok     Definition 460 (p. 77)  ->  Definition 460 (p. 78)   similarity 1.00
ok     Obvious 461 (p. 77)  ->  Obvious 461 (p. 78)   similarity 1.00
ok     Exercise 514 (p. 85)  ->  Exercise 514 (p. 86)   similarity 1.00
ok     Theorem 515 (p. 85)  ->  Theorem 515 (p. 86)   similarity 1.00
ok     Theorem 516 (p. 85)  ->  Theorem 516 (p. 86)   similarity 1.00
ok   * Corollary 517 (p. 86)  ->  Corollary 517 (p. 87)   similarity 1.00
ok   * Corollary 518 (p. 86)  ->  Corollary 518 (p. 87)   similarity 1.00
ok     Proposition 519 (p. 86)  ->  Proposition 519 (p. 87)   similarity 1.00
ok     Theorem 520 (p. 86)  ->  Theorem 520 (p. 87)   similarity 1.00
ok   * Corollary 521 (p. 87)  ->  Corollary 521 (p. 88)   similarity 1.00
ok     Theorem 522 (p. 87)  ->  Theorem 522 (p. 88)   similarity 1.00
ok     Definition 570 (p. 98)  ->  Definition 570 (p. 99)   similarity 1.00
ok     Definition 571 (p. 98)  ->  Definition 571 (p. 99)   similarity 1.00
ok   * Theorem 572 (p. 98)  ->  Theorem 572 (p. 99)   similarity 1.00
ok     Corollary 573 (p. 98)  ->  Corollary 573 (p. 99)   similarity 1.00
ok   * Definition 831 (p. 172)  ->  Definition 837 (p. 176)   similarity 1.00
ok     Definition 833 (p. 172)  ->  Definition 839 (p. 176)   similarity 1.00
ok   * Definition 834 (p. 172)  ->  Definition 840 (p. 176)   similarity 1.00
ok   * Definition 835 (p. 172)  ->  Definition 841 (p. 176)   similarity 1.00
ok   * Definition 839 (p. 172)  ->  Definition 845 (p. 176)   similarity 1.00
ok     Definition 846 (p. 174)  ->  Definition 852 (p. 178)   similarity 1.00
ok   * Definition 847 (p. 174)  ->  Definition 853 (p. 178)   similarity 1.00
ok     Proposition 848 (p. 174)  ->  Proposition 854 (p. 178)   similarity 1.00
ok     Obvious 849 (p. 174)  ->  Obvious 855 (p. 178)   similarity 1.00
ok     Definition 852 (p. 174)  ->  Definition 858 (p. 178)   similarity 1.00
ok   * Definition 853 (p. 174)  ->  Definition 859 (p. 178)   similarity 1.00
ok   * Theorem 856 (p. 174)  ->  Theorem 862 (p. 178)   similarity 1.00
ok   * Theorem 859 (p. 176)  ->  Theorem 865 (p. 180)   similarity 1.00
ok   * Definition 877 (p. 180)  ->  Definition 883 (p. 184)   similarity 1.00
ok   * Theorem 880 (p. 181)  ->  Theorem 886 (p. 185)   similarity 1.00
ok   * Definition 885 (p. 184)  ->  Definition 891 (p. 188)   similarity 1.00
ok   * Theorem 989 (p. 205)  ->  Theorem 995 (p. 209)   similarity 1.00
ok   * Definition 1010 (p. 210)  ->  Definition 1016 (p. 214)   similarity 1.00
ok   * Definition 1012 (p. 210)  ->  Definition 1018 (p. 214)   similarity 1.00
ok   * Definition 1014 (p. 210)  ->  Definition 1020 (p. 214)   similarity 1.00
ok   * Definition 1015 (p. 210)  ->  Definition 1021 (p. 214)   similarity 1.00
ok   * Definition 1016 (p. 210)  ->  Definition 1022 (p. 214)   similarity 1.00
ok   * Definition 1017 (p. 210)  ->  Definition 1023 (p. 214)   similarity 1.00
ok   * Definition 1019 (p. 210)  ->  Definition 1025 (p. 214)   similarity 1.00
ok   * Definition 1021 (p. 210)  ->  Definition 1027 (p. 214)   similarity 1.00
ok     Obvious 1022 (p. 211)  ->  Obvious 1028 (p. 215)   similarity 0.99
ok     Definition 1023 (p. 211)  ->  Definition 1029 (p. 215)   similarity 1.00
ok   * Definition 1024 (p. 211)  ->  Definition 1030 (p. 215)   similarity 1.00
ok     Obvious 1026 (p. 211)  ->  Obvious 1032 (p. 215)   similarity 1.00
ok   * Theorem 1027 (p. 211)  ->  Theorem 1033 (p. 215)   similarity 1.00
ok     Exercise 1028 (p. 211)  ->  Exercise 1034 (p. 215)   similarity 1.00
ok     Theorem 1029 (p. 211)  ->  Theorem 1035 (p. 215)   similarity 1.00
ok   * Exercise 1030 (p. 212)  ->  Exercise 1036 (p. 216)   similarity 1.00
ok     Theorem 1031 (p. 212)  ->  Theorem 1037 (p. 216)   similarity 1.00
ok     Definition 1035 (p. 213)  ->  Definition 1041 (p. 217)   similarity 1.00
ok   * Definition 1042 (p. 215)  ->  Definition 1048 (p. 219)   similarity 1.00
ok     Definition 1044 (p. 215)  ->  Definition 1050 (p. 219)   similarity 1.00
ok   * Definition 1045 (p. 215)  ->  Definition 1051 (p. 219)   similarity 1.00
ok   * Definition 1047 (p. 215)  ->  Definition 1053 (p. 219)   similarity 1.00
ok   * Theorem 1048 (p. 215)  ->  Theorem 1054 (p. 219)   similarity 1.00
ok   * Obvious 1058 (p. 218)  ->  Obvious 1064 (p. 222)   similarity 1.00
ok   * Theorem 1060 (p. 218)  ->  Theorem 1066 (p. 222)   similarity 1.00
ok   * Lemma 1090 (p. 225)  ->  Lemma 1096 (p. 229)   similarity 1.00
ok   * Definition 1219 (p. 256)  ->  Definition 1225 (p. 260)   similarity 1.00
ok   * Definition 1220 (p. 256)  ->  Definition 1226 (p. 260)   similarity 1.00
ok     Proposition 1221 (p. 256)  ->  Proposition 1227 (p. 260)   similarity 1.00
ok     Definition 1234 (p. 258)  ->  Definition 1240 (p. 262)   similarity 1.00
ok   * Definition 1235 (p. 258)  ->  Definition 1241 (p. 262)   similarity 1.00
ok     Proposition 1236 (p. 259)  ->  Proposition 1242 (p. 263)   similarity 1.00
ok     Proposition 1237 (p. 259)  ->  Proposition 1243 (p. 263)   similarity 1.00
ok   * Theorem 1251 (p. 260)  ->  Theorem 1257 (p. 264)   similarity 1.00
ok   * Corollary 1252 (p. 261)  ->  Corollary 1258 (p. 265)   similarity 1.00
ok   * Conjecture 1253 (p. 261)  ->  Conjecture 1259 (p. 265)   similarity 1.00
ok   * Conjecture 1254 (p. 261)  ->  Conjecture 1260 (p. 265)   similarity 1.00
ok   * Theorem 1255 (p. 261)  ->  Theorem 1261 (p. 265)   similarity 1.00
ok   * Conjecture 1256 (p. 261)  ->  Conjecture 1262 (p. 265)   similarity 1.00
ok     Proposition 1260 (p. 262)  ->  Proposition 1266 (p. 266)   similarity 1.00
ok   * Proposition 1360 (p. 281)  ->  Proposition 1366 (p. 285)   similarity 1.00
ok   * Lemma 1361 (p. 282)  ->  Lemma 1367 (p. 286)   similarity 1.00
ok   * Theorem 1362 (p. 282)  ->  Theorem 1368 (p. 286)   similarity 1.00
ok   * Conjecture 1363 (p. 282)  ->  Conjecture 1369 (p. 286)   similarity 1.00
ok   * Section 5.3.3. Order of filters (p. 75)  ->  Section 5.3.3. Order of filters (p. 76)
ok   * Section 5.38. Further notation (p. 131)  ->  Section 5.38. Further notation (p. 132)
ok   * Section 25.8. Categories of funcoids (p. 186)  ->  Section 26.8. Categories of funcoids (p. 190)
ok   * Section 26.5. Categories of reloids (p. 217)  ->  Section 27.5. Categories of reloids (p. 221)
ok   * Section 26.6. Monovalued and injective reloids (p. 218)  ->  Section 27.6. Monovalued and injective reloids (p. 222)
ok   * Section 27.1. Funcoid induced by a reloid (p. 224)  ->  Section 28.1. Funcoid induced by a reloid (p. 228)
items compared: 104 (cited in the note: 62); section headings: 6; problems: 0
