A Relation Class is local if
the -predecessors of a set form a set: