Step Function Definition Algebra