[STATEMENT]
lemma selectlike_shrinks [simp]: "selectlike X \<nu> V \<subseteq> X"
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. selectlike X \<nu> V \<subseteq> X
[PROOF STEP]
by (auto simp add: selectlike_def)