Let be disjoint and have the same cardinality. For a set , its -compression isFor a uniform set family , a member is replaced only when its image is absent from ; this convention preserves the family's cardinality.
New to topics? Read the docs here!