μέσω μιας λογικής σ' ένα σύνολο