finished partially order set