Definition of "Borel"

Borel