5.2.4 Mathematical Definition of ULVF