Définitionslotie