Structure (mathematical logic)/Definition

A set along with a collection of finitary functions and relations which are defined on it.