 Let formula_1be the space of all states, i.e., Hermitian positive semi-definite operators with trace one, over the bipartite Hilbert space formula_2.An entanglement measure is a function formula_3such that