We consider the problem of extending or factorizing a bounded bilinear map defined on a couple of order continuous Banach function spaces to its optimal domain, i.e. the biggest couple of Banach function spaces to which ...