The mathematical process of extending a new concept from underlying structures without explicitly mentioning the required contexts.