We study the problem of transforming a set pure bipartite states into another using deterministic LOCC (local operations and classical communication). Necessary conditions for existence such transformation are obtained constraints on state transformation, entanglement, distinguishability. These shown to be independent but not sufficient. discuss their satisfiability classify all possible input-...