In mathematics, specifically in abstract algebra, power associativity is a property of a binary operation that is a weak form of associativity.