B is the range of a total computable function.
B είναι το εύρος της συνολικής υπολογίσιμης συνάρτησης.