Space with perfect fundamental group

Definition
A topological space is said to have perfect fundamental group if it satisfies the following equivalent conditions:


 * It is path-connected, and its fundamental group is perfect
 * It is path-connected, and the first homology group is trivial

Stronger properties

 * Simply connected space
 * Acyclic space