All Questions

According to the definitions in Sankappanavar's universal algebra : Assume $p$ is a term, then $p(x_1,x_2,...,x_n)$ indicates that the variables occurring in $p$ are among $x_1,...,x_n$. But there is ...