Kan extension noun Meaning A construct that generalizes the notion of extending a function's domain of definition.