Description: The membership relation is inherited by the rank function. Closed form of rankel . (Contributed by Scott Fenton, 16-Jul-2015)