Noun
(philosophy, theology) The qualities or types of the structure or structures an object possesses.
(mathematics, logic) A property satisfied by structural translations from sequents into equations or from equations into sequents.
Source: en.wiktionary.org