functional analysis condition 3