Cameron–Fon-Der-Flaass IBIS theorem

In mathematics, Cameron–Fon-Der-Flaass IBIS theorem arises in the dynamical algebraic combinatorics. The theorem was discovered in 1995 by two mathematicians Peter Cameron and Dima Fon-Der-Flaas. The theorem is considered to be a link between group theory and graph theory as it studies redundancy of a group.

Statement
Let $$P$$ be a permutational group of $$\Omega$$, then the following will be similar.


 * Irredundant bases of $$P$$ are stored by re-ordering.
 * The bases of matroid are formed due to the irredundant bases of $$P$$.
 * Every irredundant base of $$P$$ got the same size.