1. Force a "flexible" object into $\mathcal{K}$ 2. Force embeddings from each member of $\mathcal{K}$ into the flexible object # Definition # Properties