The condition of being coatable

(mathematics) In a partially ordered set, a non-unit element that has no element above it other than the unit (assuming that the poset has a top element, its "unit").