abstract infinity