dunlei lujvo

x1 is an equivalence class within x2 defined by equivalence relation x3.