Fungrim home page

Fungrim entry: 1706bb

Symbol: BellNumber BnB_{n} Bell number
Domain Codomain
nZ0n \in \mathbb{Z}_{\ge 0} BnZ1B_{n} \in \mathbb{Z}_{\ge 1}
Table data: (P,Q)\left(P, Q\right) such that (P)    (Q)\left(P\right) \implies \left(Q\right)
Fungrim symbol Notation Short description
BellNumberBnB_{n} Bell number
ZZGreaterEqualZn\mathbb{Z}_{\ge n} Integers greater than or equal to n
Source code for this entry:
    SymbolDefinition(BellNumber, BellNumber(n), "Bell number"),
    Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(Tuple(Element(n, ZZGreaterEqual(0)), Element(BellNumber(n), ZZGreaterEqual(1))))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-08-25 15:30:03.056001 UTC