Description: Extend class notation with the function giving: the transitive closure of X in A by R . (New usage is discouraged.)
class _trCl ( X , A , R )