In mathematics, a structure on a set, or more generally a type, consists of additional mathematical objects that, in some manner, attach (or relate) to the set, endowing the collection with meaning or significance.