generated at
algebraic structure

Signature (logic)
Structure (mathematical logic)