  In this paper we present the novel qualities of entanglement of formation for
general (so also infinite dimensional) quantum systems.
  A major benefit of our presentation is a rigorous description of entanglement
of formation. In particular, we indicate how this description may be used to
examine optimal decompositions. Illustrative examples showing the method of
estimation of entanglement of formation are givem\n.
