Allow Q be an "summary House", specifically a nonempty list of factors to get referred to as "points" and denoted generically by (j). a lot of the normal functions and relations amongst sets, together with the usual notation, are supplied under. Union I am eager to broaden the scope of my catalog and welcome any and all responses you will have. F