A Soergel bimodule (for $S_n$) is a bimodule over $R = \mathbb{Q}[x_1,\dots,x_n]$ which appears as a summand/grading shift of tensor products of the basic bimodules $$B_{i,i+1} = R \otimes_{i,i+1} R$$ where $\otimes_{i,i+1}$ means the tensor product over the subring of polynomials invariant under permuting $i$ and $i+1$. It follows immediately that every Soergel bimodule $M$ has the following properties: 1. $M$ is free as a left module or as a right module, although not necessarily as a bimodule. 2. $M$ commutes with invariant polynomials, in the sense that for every invariant polynomial $p \in \mathbb{Q}[x_1,\dots,x_n]$ and $m \in M$, we have $$ pm = mp. $$ 3. There is an invariant vector, an element $m_0 \in M$ so that $$ x_i m_0 = m_0 x_i $$ for every $i=1,\dots,n$. Do these properties characterize Soergel bimodules? Without the third condition, you could have, for instance, a bimodule that just permuted the $x_i$: a one-dimensional module with a single generator $a$ as a right module, so that $ x_i a = a x_{\sigma(i)} $ for some permutation $\sigma$.