How to Write a Query That Doesn't Count Order

The two main ones that don't count order are set and map. Equality is actually a really useful operation, because it forces you to make sure that different ways of generating the same pizza result in the same representation. That's hinting that equality is important, it's sort of always there and implied. Secondarily, it's pointing at the level three, just algebraic,. If you don't have a quality, it's really hard to find algebraic properties.