becomes an analytic groupoid if its Borel structure is analytic.
A Borel space
is called analytic if it is
countably separated, and also if it is the image of a Borel function from a standard Borel space.
As of this snapshot date, this entry was owned by bci1.