有形的約定