Partially ordered set - Wikipedia
en.wikipedia.org