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

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	Suppose G is a group and H is a nonempty subset of G. Then H is a subgroup of G iff a,b ??? H implies ab^-1 ??? H.
http://www.w3.org/ns/prov#wasQuotedFrom	physicsforums.com