`B sub A``A sub B``A nn B-phi``A uu B=A`
Your experience on this site will be improved by allowing cookies. Read Cookie Policy