 Solution

A normalized bipartite pure state is entangled when it cannot be written as a product state $|a{⟩}_A\otimes |b{⟩}_B$. Equivalently, its Schmidt rank exceeds one. This definition concerns the specified partition into systems A and B; the mixed-state definition of separability requires a different convex-mixture condition.