FUNCTION MOD

Definition A <FUNCTION MOD> is a <FUNCTION(math)> to determine a modulus of an input, defined by V :=