converting political order into set theory http://us.metamath.org/mpegif/mmset.html