Today, the theoretical framework of mathematical morphology is phrased in terms of complete lattices and operators de ned on them. That means in particular that the choice of the underlying partial ordering is of eminent importance, as it determines the class of morphological operators that one ends up with. The duality principle for partially ordered sets, which says that the opposite of a par...

This article is the second of two presenting a new approach to left adequate monoids. In the first, we introduced the notion of being T -proper, where T is a submonoid of a left adequate monoid M . We showed that the free left adequate monoid on a set X is X∗-proper. Further, any left adequate monoid M has an X∗-proper cover for some set X , that is, there is an X∗proper left adequate monoid M̂ ...

We show that for every quasivariety K of relational structures there is a semilattice S with operators such that the lattice of quasiequational theories of K (the dual of the lattice of sub-quasivarieties of K) is isomorphic to Con(S,+, 0, F). As a consequence, new restrictions on the natural quasi-interior operator on lattices of quasi-equational theories are found. 1. Motivation and terminolo...

The universal abelian, band, and semilattice compactifications of a semitopological semigroup are characterized in terms of three function algebras. Some relationships among these function algebras and some well-known ones, from the universal compactification point of view, are also discussed.

Requirements engineering has, at least, three dimensions: (1) a logistical dimension dealing with requirements management, requirement databases and tools, (2) a methodological aspect dealing with issues such as “how to elicit requirements?”, “how to analyze and how to validate requirements?” and (3) an epistemological dimension which deals with questions such as “what is a well-formed requirem...

In contrast to the semilattice of groups case, an inverse semigroup S which is the union of strongly ^-reflexive inverse subsemigroups need not be strongly £-reflexive. If, however, the union is saturated with respect to the Green's relation <3), and in particular if the union is a disjoint one, then 5 is indeed strongly £-reflexive. This is established by showing that fy -saturated inverse sub...

The lattice of flats of a matroid or combinatorial geometry can be regarded as a sublattice (with rank function) of the lattice of subsets of a set, having the property that, given an element of rank r of the lattice and a point outside it, a unique element of rank r+1 covers both. This paper develops a theory of permutation geometries, which are similarly defined objects in the semilattice of ...

Inverse semigroups form a variety of unary semigroups, that is, semigroups equipped with an additional unary operation, in this case a 7→ a−1. The theory of inverse semigroups is perhaps the best developed within semigroup theory, and relies on two factors: an inverse semigroup S is regular, and has semilattice of idempotents. Three major approaches to the structure of inverse semigroups have e...