1delconst TC 2delconst reflexive 3delconst irreflexive 4delconst transitive 5delconst WF 6delconst RSUBSET 7delconst RUNION 8delconst RINTER 9delconst RUNIV 10delconst EMPTY_REL 11