Hacker News new | ask | show | jobs
by enord 3105 days ago
Simply put: It's when you extend the mathematical system by applying an operation to all eligible elements in the system (for example by redefining which elements are amendable to a given operation, like sqrt(-1))

Logic example (transitive closure): given "A->B", "B->C" in a sytem then your system can be extended to also contain "A->C" if you decide to interpret "->" as transitive.