  We present a general theoretical framework for both deterministic and
probabilistic entanglement transformations of bipartite pure states achieved
via local operations and classical communication. This framework unifies and
greatly simplifies previous works. A necessary condition for ``pure
contraction'' transformations is given. Finally, constructive protocols to
achieve both probabilistic and deterministic entanglement transformations are
presented.
