MDLUL/isomorph (Relation)