subrelation

not defined yet