I considered an operator ##X \in \mathcal{L}(\mathcal{X} \otimes \mathcal{K})##, that is positive, ##X \geq 0##. And I defined it as it follows:
##X = \sum_{i,j} a_{ij} ∣x_i \rangle \langle x_i ∣ \otimes ∣k_j \rangle \langle k_j∣ ##
Where ##x_i## are basis for ##\mathcal{X}## and ##k_j## basis...