The property that determines the class that a universal property restriction refers to.