proper set closure table