added appendix note about partially ordered set