Forcing Function Definition Algebra