describes underlying sets specifically in terms of algebraic structures
Yeah, I was wondering about that. Does it make sense to have an "underlying set" page that works for both cases?
Actually, I'm going to ask this in the slack, as others may have opinions…