For usual (maybe strict or partial) order relations, the converse is the naively expected "opposite" order, e.g.
A function is invertible if and only if its inverse relation is a function, in which case the inverse relation is the inverse function.