Displaying similar documents to “Upper semicomplements and a definable element in the lattice of groupoid varieties”