構造

Also known as finitary structure

set together with an interpretation of a given first-order language