Definition:First-Order Structure