encoding function in discrete mathematics