structure
A structure on a set refers to endowing it with certain additional features (e.g. an operation, relation, metric, or topology) to provide meaning.
A map between two similarly-structured sets that preserves their structure is called a homomorphism.