假定关系r和s分别有n和m个元组

灵山访仙踪，玄机初泄改旧事。辽海获神兵，大衍生变写新篇。九疑鼎、盈虚生世界；昊天镜、太虚呈幻境。异宝出圣陵，永宁乾坤荡群魔。七宝幢、神光镇山河；贝叶符、旃檀辉宝相。奇珍起灵峰，普度众生怜世人。我欲求仙，不昧前生，天阙紫府证金仙卿盼双栖，无悔今世，龙华瑶池傲九天...