Connections for sets and functions
Jean Serra · Fundamenta Informaticae · 2000
Classically, connectivity is a topological notion for sets, often introduced by means of arcs. An algebraic definition, called connection, has been proposed by Serra to extend the notion of connectivity to complete sup-generated lattices. A connectio