An external probability order theorem with applications