

A number of di?erent instruments for design can be uni?ed in the context of lattice theory towards cross-fertilization By"latticetheory"[1]wemean, equivalently, eitherapartialordering relation [2,3]ora couple of binary algebraic operations [3, 4]. There is a growing interest...

A number of di?erent instruments for design can be uni?ed in the context of lattice theory towards cross-fertilization By"latticetheory"[1]wemean, equivalently, eitherapartialordering relation [2,3]ora couple of binary algebraic operations [3, 4]. There is a growing interest...