 These observations lead us to view the finitary fully selfextensional logics \(\bL\) with a conjunction and those with the deduction-detachment property for a single term as logics definable by an order which is definable in the algebras in \(\bAlg\bL\) by using an equation of the \(\bL\)-algebraic language. Related to this, the following result is known.