“…Note that these operators and their sets of fixpoints have extensively been studied, see e.g. [1,2,4,12,18]. Note that if L = {0, 1}, B(X ↑ , Y ↓ , I) coincides with the ordinary concept lattice of the formal context consisting of X, Y , and the binary relation (represented by) I.…”