The Algebraic Thinking Encyclopedia/Namespaces