it's a variant of what's called saturation in our nonstandard analysis article except that there is no cardinality restriction