adding notation for rel_dec.
adding helper functions for Generic/Func.