  The notion of validity of a formula \(A\) with respect to an algebraic structure from \(\bK\) is defined as if this structure would form a logical matrix. And logical validity here means validity for all structures from the class \(\bK\).