theorem :: WAYBEL34:20

for W being with_non-empty_element set holds W -INF_category ,W -SUP_category are_anti-isomorphic