UNIVERSE {} = FinSETS by Lm6;