todo definition as set using equivalence relations point out universal property write down rule of it - the ones we actually need when doing e.g. quantum information
Wikipedia: Tensor product
Vector space