English Dictionary

The collection of all elements below a given element forms a downset, which in this poset is an ideal.

ある元より下にあるすべての元の集合は下集合を成し、この半順序集合ではイデアルになっている。