Definition of Frithman