relações de ordem em IR