1: \begin{definition}

2: \label{postJordandef}

3: Over a field $\mathbb{F}$ of characteristic 0 or $p > 4$, a vector space $J$ with bilinear operations

4: $\circ$ and $\bullet$ is a \textbf{post-Jordan algebra} if $\circ$ is commutative and $\circ, \bullet$

5: together satisfy the multilinear polynomial identities of Theorem \ref{postjordanalgebratheorem}.

6: In particular, $( J, \,\circ\, )$ is a Jordan algebra.

7: The corresponding symmetric operad is denoted $\PostJor$.

8: \end{definition}

9: