Значення в інших словниках Михайлина — утв. від чол. імені Михайло. Михайлинонька, Михайлиночка, Михайлинка, Михася, Міля, Міся; Ліна. Михайлина була не з бідного роду (С Пушик). Власні імена людей. Словник-довідник