algebraizability associativity abstract algebra algebra algebraization pseudoalgebra algebraic graph theory universal algebra algebraism algebraist