The formal definition or rule of U.S. immigration agencies.