predicate
a predicate represents a property or relation. it can be seen as a total function whose range is 
where 1 denotes membership of the relation and 0 otherwise.
where 1 denotes membership of the relation and 0 otherwise. where 1 denotes membership of the relation and 0 otherwise.