Outrageously Funny Word Dictionary :: Prehalteres

👉 In the context of mathematical logic, a prehalter is a type of predicate that can be used to define a partial ordering on a set. A prehalter is defined as a function that accepts an arbitrary element of the domain and returns true if the element satisfies the given condition (the "pre" part), and false otherwise (the "halter" part). For example, in the context of predicate logic, a prehalter can be used to define a partial order on a set

prehalteres