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

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	X is a set and P(X) is the discrete topology on X, meaning that P(X) consists of all subsets of X. I want to prove that X is metrizable. 2.
http://www.w3.org/ns/prov#wasQuotedFrom	physicsforums.com