isCoarserThan

2 triples
GPTKB property

Random triples
Subject Object
gptkb:indiscrete_topology any other topology on the set
gptkb:discrete_topology no other topology on the set