noun: (computing theory) A function from (state, input symbol) to state describing what state to move to on receiving a given input in a given state.
noun: (differential geometry) A homeomorphism that bijects between the subsets of the images of two overlapping coordinate charts that are shared in the preimage: For (U_1,๐โ) and (U_2,๐โ) coordinate charts with U_1โฉU_2โ โ , the transition functions ๐โโ=๐โโ๐โโปยน and its inverse ๐โโ=๐โโ๐โโปยน may be constructed.