Joint work with Jeff Egger.
David Yetter, working with quantales, introduced the notion of a _cyclic element_, namely, an element z such that x @ y