A bijective product square [Formula: see text]-cordial labeling of a graph [Formula: see text] with vertex set [Formula: see text] and edge set [Formula: see text] is a bijection [Formula: see text] from [Formula: see text] to [Formula: see text] such that the induced edge function [Formula: see text] from [Formula: see text] to [Formula: see text] defined as [Formula: see text] for every edge [Formula: see text] satisfies the following condition. (i) If [Formula: see text] is the number of edges labeled with [Formula: see text] under [Formula: see text], then [Formula: see text] where [Formula: see text]. A graph which admits a bijective product square [Formula: see text]-cordial labeling is called bijective product square [Formula: see text]-cordial graph. In this paper, we find upper limit of the size of the bijective product square [Formula: see text]-cordial graph for [Formula: see text] and [Formula: see text]. Also, we prove that every graph is a subgraph of a connected bijective product square [Formula: see text]-cordial graph for all odd prime [Formula: see text]. In addition, we establish the relation between bijective product square [Formula: see text]-cordial and [Formula: see text]-product cordial graphs.