There are tags fixed-point-iteration and banach-fixed-point. I suggest to make them both as synonyms of fixed-point-theorems. (This tag exists already for a long time and it should probably be a master tag.) I think it is probably better not to have too many tags on the same topics or topics wh...