 In this case one does not consider only a designated element in every algebra \(\bA\) but a set of designated elements, namely the elements of \(\bA\) greater than or equal to \(1^{\bA}\),  to provide the definition. Let us denote this set by \(\tD (\bA)\), and notice that \(\tD (\bA) = \{a \in A: 1^{\bA } \wedge^{\bA} a = 1^{\bA }\}\). Hence,