isTotallyDisconnected

URI: https://gptkb.org/prop/isTotallyDisconnected
9 triples
GPTKB property
Random triples
Subject Object
gptkb:discrete_metric_space true
gptkb:discrete_topology true
gptkb:Gal(\\overline{\\mathbb{Q}}/\\mathbb{Q}) true
gptkb:ring_of_p-adic_integers true
gptkb:symplectic_group_over_p-adic_numbers true
gptkb:Cantor_space true
gptkb:the_middle-thirds_Cantor_set true
gptkb:p-adic_integers true
gptkb:the_field_of_rational_numbers_Q true