Basis가 [a,b)로 주어지는데 이걸 infinite union하면 (c,d) 형태가 되니까 (a,b) in R_l 인거지?