Galois connection based Information Retrieval model