A Partially Ordered Set is defined as an ordered pair . Here, is called the Ground Set of and is the Partial Order of .