hasUnderlyingSet

URI: https://gptkb.org/prop/hasUnderlyingSet
2 triples
GPTKB property
Random triples
Subject Object
gptkb:additive_group_of_real_numbers set of real numbers
gptkb:Chang's_MV-algebra set of rational numbers in [0,1] with denominator a power of 2