Symbolic Representation of Upward-Closed Sets