A Characterization of Associativity

Abstract

A necessary and sufficient condition for the associativity of a function is given, in terms of a particular relation being a function. The concept of an associative function is generalized to the concept of a function being associative relative to a sequence and a characterization of such relative associativity is also given. These two characterizations are applied to the problem ofproving the associativity, or relative associativity, of a function. Note: Abstract extracted from PDF file via OCR