Informatik-Aufgabe, bei der für eine Eingabe ermittelt wird, ob eine Eigenschaft zutrifft; die Antwort ist stets Ja oder Nein.