>Introduce the structures mathematicians actually care about. Which would include the structure in OP.