Who Cites pred rel?
pred_rel	Def r == < r >
col_singleton	Def < x > (y) == y = x T
	Thm* T:Type, x:T. < x > Collection(T)

Syntax:

r

has structure:

pred_rel(r)

About: