Category:Definition Equivalences

See the TFAE template.