Description: Two ways to say that an intersection with a Cartesian product is a subclass (see also inxpss ). (Contributed by Peter Mazsa, 8-Mar-2019)