A Frattini theory for non-associative algebras was developed by Towers and
results for particular classes of algebras have appeared in various articles.
Especially plentiful are results on Lie algebras. It is the purpose of this
paper to extend some of the Lie algebra results to Leibniz algebras