R/successor.r

Defines functions successor

successor <- function(w)
{
  if (is.cardinal(w))
  {
    if (is.finite(w))
      return( w+1L )
    else
    {
      return( aleph(w@n + 1L) )
    }
  }
}
wrathematics/tfca documentation built on May 4, 2019, 10:54 a.m.