Definition:Structure (Formal Systems)