mapsTrueTo
P178918
predicate
Indicates that a function or mapping assigns the value true to the given input or condition.