Upper semicomplements and a definable element in the lattice of groupoid varieties Jaroslav Ježek (1971) Commentationes Mathematicae Universitatis Carolinae