Is it jerking off if she rubs his dick through his pants and he orgasms?

Is it jerking off if his dick is out and she rubs it but he doesn’t orgasm?

What is jerking off? What are tits? What is a public location? What are children? What is proximity? What is appropriate public behavior? What is indecent? So many questions, so little brain power.