# ≤

Definition:
If and are sets, then means that there exists an injection

The LaTeX symbol for is \leq.