Zwyczajowo też używa się symbolu na oznaczenie następującej relacji na liczbach rzeczywistych: wtedy i tylko wtedy, gdy różnica jest liczbą wymierną. (tzn, ale ). Jeśli jest relacją równoważności klasy to albo lub Jeśli jest borelowską relacją równoważności, to albo lub Dla każdej borelowskiej relacji równoważności istnieje borelowska relacja równoważności taka, że Wśród borelowskich relacji równoważności o przeliczalnych klasach abstrakcji istnieje element -największy. W tej samej rodzinie relacji można wybrać nieprzeliczalnie wiele parami -nieporównywalnych relacji.
Zobacz też gry nieskończone uniwersum konstruowalne zbiory analityczne zbiór typu F-sigma zbiór typu G-delta
Przypisy
Linki zewnętrzne Descriptive set theory , Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-06-18].
Kategoria:Deskryptywna teoria mnogości Kategoria:Działy topologii