Sortimentul tertium datur