About: http://webisa.webdatacommons.org/136925521

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	If $D$ is a discrete compact space, then each point is, in itself, an open set (discreteness), and $D$ is the union of its points, so is a finite union of some of them (compactness).
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com