Examples of data structures are groups of sort
where 
specifies that:
The two-element Boolean algebra is
,
Presburger arithmetic is the data structure
,
and standard arithmetic is
where in the latter three data structures the signature is evident.