Description: ran F is an initial segment of A under the well-order R . (Contributed by Mario Carneiro, 26-Jun-2015)