( zeller | 2020. 12. 08., k – 21:50 )

Nem érted. Az. hogy valami a halmaz eleme, az következmény, nem pedig ok, márpedig az, hogy valami egy halmaz eleme vagy sem, az csak úgy lesz egzakt, ha előre meghatározod azokat a tulajdonságokat, ami alapján az adott halmazba rakható valami.
A listázásba is bele lehet kötni - sokkal jobban, mint egy szabályhalmazba, és ott úgyis elő kell szedned azokat a tulajdonságokat, amik alapján a döntést meghoztad - azaz szabályt kell mondanod.