bimodule, final coalgebra, fractal set, initial algebra, metric space, monotone and antitone functions, monotonicity calculus, typed lambda calculus.