Let $K$ be a field and $K\{X\}$ be the free non-associative algebra, freely generated by the countably infinite set $X$. We consider elements of $K\{X\}$ as (non-associative) polynomials in the variables of $X$.

Given $\mathfrak{F}\subseteq K\{X\}$, one can consider the variety of algebras defined by $\mathfrak{F}$. This is the class of all algebras which satisfy all identities of $\mathfrak{F}$, i.e., an algebra $A$ is an algebra in such variety if given $p\in \mathfrak{F}$, for any $a_i\in A$, we have $p(a_1,\dots,a_n)=0$.

For example, if one consider the polynomial $p=x(yz)-(xy)z$, the variety of algebras defined by $\{p\}$ is the variety of associative algebras.

My question is the following:

Is the variety of algebras defined by some $\mathfrak{F}\subseteq K\{X\}$, a set?

A simpler question: Is a variety of associative algebras a set?

`$A \times \{ \alpha \}$`

is in the same variety, for all $\alpha \in \mathsf{Ord}$. – Qfwfq Feb 8 '13 at 14:37