Def/Associative bijection