Where does “partially ordered set” come from?

partially ordered set (English): A set that has a given, elsewhere specified...