с людьми-функциями, они такие же люди. Никакой разницы. Здороваться надо со всеми — и с теми, с кем хорошо знаком, и с теми, с кем знаком едва, с кем виделся единожды и с кем не знаком вовсе, а просто встретился глазами. Здороваться надо с друзьями, с врагами, с людьми идейно близкими и полностью чуждыми, это всего лишь вежливость. Здороваться лучше, чем не здороваться: с чем здесь спорить?