ブライト健太 登場曲. Finite totally ordered set has maximal element. Olga zarzeczna author. احلى ز.