e/Light's associativity test

Information
has gloss	eng: In mathematics, Lights associativity test is a procedure invented by F W Light for testing whether a binary operation defined in a finite set by a Cayley multiplication table is associative. Direct verification of the associativity of a binary operation specified by a Cayley table is cumbersome and tedious. Lights associativity test greatly simplifies the task.
lexicalization	eng: Light's associativity test
instance of	(noun) an operation that follows the rules of Boolean algebra; each operand and the result take one of two values binary arithmetic operation, boolean operation, binary operation