Condition that states that the density functional in DFT must come from a proper antisymmetric wavefunction.