Basic definitions and notation (prepared by the PP2015 organizers) An overview of permutation patterns