Por el axioma del supremo, A tiene un supremo, digamos S.