C-System eines Moduls über eine $ Jf $ -relative Monade