isTotallyOrdered

URI: https://gptkb.org/prop/isTotallyOrdered
7 triples
GPTKB property
Random triples
Subject Object
gptkb:the_ring_of_integers_Z true
gptkb:real_line_R true
gptkb:The_ring_of_integers_Z true
gptkb:\\mathbb{Z} true
gptkb:Chang's_MV-algebra true
gptkb:Surreal_numbers true
gptkb:Positive_Real_Numbers true