# Math Help - Predicate and array

1. ## Predicate and array

Hi

Is it possible to have a predicate like do(I,O) with truth value true or false where
I = {i1,i2,i3} meaning it is a set of inputs?

Thanks

2. ## Re: Predicate and array

You can define almost anything. Whether it makes sense or is interesting depends on the particular subject.

You can define a predicate whose first argument is a set, for example, if you are dealing with arrays, but more often the first argument is some element of the set of all possible inputs.