Let be a Poset and a Filter on , . We say that is an ultrafilter on if and only if whenever is a Filter either or (i.e. there is no proper extension of to a filter).