Analyzing the local Lindelöf proper function and the local proper function of deep learning in bitopological spaces