Ideals and Antichains in a Finite Poset