Yes; it is not relevant whether the dominating solution is in the set or not. It is a fact that the solutions in the front dominate all those not in the front,

Yes; it is not relevant whether the dominating solution is in the set or not. It is a fact that the solutions in the front dominate all those not in the front, but the weakest statement we can make is that if a for a given solution B, we find another one A which is a dominant of B, then B is not in the front (regardless of whether or not A is). Anyway, a couple of hours ago, I fixed up the informal wording in the article, which had misleading interpretations.