It is shown how, under certain circumstances and within Bishop‐style constructive mathematics, one can construct a product of two a‐frames (the structures underlying the constructive theory of apartness on frames).