An ideal I of a partial order P is a subset of the elements of P which satisfy the property that if y element I and x