Neural Injective Functions for Multisets, Measures and Graphs via a Finite Witness Theorem