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